# Currently: autum 2022

# Former semesters

The web pages of my older lectures are mostly in German, the slides and the material, however, are often in English. Some of the pages of my old University have undoubtedly disappeared into digital nirvana, though, so not all links may still work. For involvement in teaching during my time at the Technical Faculty at the Friedrich-Alexander University Erlangen-Nuremberg, I no longer have material available (slides were handwritten and we used the blackboard…)

semester | title | course nr. | ||
---|---|---|---|---|

Spring 2022 | Compiler construction | (INF 5110) | lecture | |

Autumn 2021 | *Spec. and verif. of parallel systems (“model checking”) | IN 5110 | lecture | |

Spring 2021 | Compiler construction | (INF 5110) | lecture | |

Autumn 2020 | Static analysis | IN5440 (and IN9440) | lecture | |

Spring 2020 | Compiler construction | INF 5110 | lecture | |

Autumn 2019 | Spec. and verif. of parallel systems (“model checking”) | IN 5110 (formerly INF5140) | lecture | |

Spring 2019 | Compiler construction | INF 5110 | lecture | |

Autumn 2018 | Static analysis | IN 5440/9440 (ex: INF 5906/9906) | lecture | |

Spring 2018 | Compiler construction | INF 5110 | lecture | |

Spec. and verif. of parallel systems (“model checking”) | INF 5140/9140 | lecture | ||

Autumn 2017 | Static analysis | INF 5906/9906 | lecture | |

Spring 2017 | Compiler construction | INF 5110/9110 | lecture | |

Spec. and verif. of parallel systems (“model checking”) | INF 5140/9140 | lecture | ||

Spring 2016 | Static analysis | INF 5906/9906 | lecture | |

Compiler construction | INF 5110/9110 | lecture | ||

Autumn 2015 | Models of concurrency | INF 4140 (and 4195) | lecture | |

Spring 2015 | Spec. and verif. of parallel systems (“model checking”) | INF 5140/9140 | lecture | |

Autumn 2014 | Models of concurrency | INF 4140 (and 4195) | lecture | |

Spring 2014 | Static analysis | INF 5906/9906 | lecture | |

Autumn 2013 | Models of concurrency | INF 4140 | lecture | |

Autumn 2012 | Algos & data structures | INF 2220 | lecture | |

Spring 2012 | Static analysis | INF 5906/9906 | lecture | |

Spring 2010 | Static analysis | INF 5906/9906 | lecture | |

Autumn 2009 | Algos & data structures | INF 2220 | lecture | |

Autumn 2008 | Models of concurrency | INF 4140 | lecture | |

Spring 2008 | Static analysis | INF 5906/9906 | lecture | |

Autumn 2007 | Models of concurrency | INF 3410 | lecture | |

Autumn 2006 | Static analysis | INF 5906/9906 | lecture | |

summer 2005 | theoretical foundations of object-oriented languages | lecture | ||

foundations of concurrent and parallel programming | seminar | |||

winter 04/05 | CS prep course: computers | extra curriculum | ||

operating systems | lecture | |||

model checking | seminar | |||

project conference manager coma (see also the git repos) | sw project | |||

summer 04 | distributed algorithms | seminar | ||

winter 03/04 | CS prep course: computers | extra curriculum | ||

operating systems | lecture | |||

distributed algorithms | lecture | |||

concurrent programming | seminar | |||

Enigma reloaded | software project for engineers | |||

summer 03 | sw-engineering lab course | software project lab course | ||

compositional verification of concurrent programs | seminar | |||

Enigma | software lab course | |||

day of the open door: Lego Mindstorms | day of the open door presentation | |||

winter 02/03 | CS prep course: computers | extra curriculum | ||

algorithms | lecture | |||

distributed algo’s | seminar | |||

Lego Mindstorms | programming course | |||

summer 02 | Programming in the many: Sequential Function Charts Modelling Environment Slime | project practicum | ||

day of the open door at U. Kiel: Lego Mindstorms | day of the open door presentation | |||

winter 01/02 | algorithms and data structures | lecture | ||

computer systems (part of the CS prep course) | extra curriculum | |||

component-based software development | seminar | |||

operating systems | lecture | |||

Embedded Systems II: Lego Mindstorms | practicum | |||

summer 01 | Programming in the many: Sequential Function Chart Modelling Tool Snot (see also the git repos) | sw practicum | ||

statemate/SDL | lecture | |||

software engineering | project practicum | |||

UML | seminar | |||

winter 00/01 | theorem proving | lecture | ||

operating systems | lecture | |||

algorithms and data structures | lecture | |||

static analysis | seminar | |||

computer systems (part of CS prep course) | extra curriculum | |||

summer 00 | Programming in the many: Model checking environment for state-transition systems Mist (see also the git repos) | software project | ||

distr. algorithms | seminar | |||

winter 99/00 | algorithms and data structures | lecture | ||

model checking | seminar | |||

summer 99 | theorem proving | lecture | ||

algorithms and data structures | lecture | |||

model checking | seminar | |||

operating systems proseminar | pro-seminar | |||

winter 98/99 | operating systems | lecture | ||

Programming-in-the-many: Programming Environment for Statecharts (PEST) (see also the git repos) | software project | |||

semantics and verification of object-oriented programs | seminar | |||

summer 98 | Java course | programming course | ||

hardware verification | seminar | |||

formal modelling with Rhapsody/statecharts | seminar | |||

winter 97/98 | distributed algorithms | seminar | ||

hybrid systems | lecture |