


spring 2017  compiler construction: INF 5110/9110  lecture 
model checking INF 5140/9140  lecture  
spring 2016  static analysis: INF 5906/9906  lecture 
Compiler construction: INF 5110  lecture  
autumn 2015  Models of concurrency: INF 4140 (and 4195)  lecture 
spring 2015  Specification and verification of parallel systems (``model checking''): INF 5140  lecture 
autumn 2014  models of concurrency: INF 4140 (and 4195)  lecture 
spring 2014  Static analysis: INF 5906  lecture 
autumn 2013  models of concurrency: INF 4140  lecture 
autumn 2012  algos & data structures: INF2220  lecture 
spring 2012  Stactic analysis: INF5906  lecture 
spring 2010  Stactic analysis: INF5906  lecture 
autumn 2009  Algos & data structures: INF2220  lecture 
autumn 2008  Models of concurrency: INF4140  lecture 
spring 2008  Static analysis: INF5906, material  lecture 
autumn 2007  Models of concurrency: INF3410  lecture 
autumn 2006  Static analysis: INF5906, material  lecture 
summer 2005  Formal aspecs of objectoriented languages  lecture 
foundations of concurrent and parallel programming  seminar  
winter 04/05  CS prep course: computers  extracurriculum 
operating systems  lecture  
model checking  seminar  
project: conference manager coma (see also the git repos)  sw project  
summer 2004  distributed algorithms  seminar 
winter 03/04  CS prep course: computers  extracurriculum 
operating systems  lecture  
distributed algorithms  lecture  
concurrent programming  seminar  
Enigma reloaded  software project for engineers  
summer 2003  swengineering 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  extracurriculum 
algorithms  lecture  
distributed algo's  seminar  
Lego Mindstorms  programming course  
summer 2002  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  
componentbased software development  seminar  
operating systems  lecture  
Embedded Systems II: Lego Mindstorms  practicum  
summer 2001  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 2000  Programming in the many: Model checking environment for statetransition systems Mist (see also the git repos)  software project 
distr. algorithms  seminar  
winter 99/00  algorithms and data structures  lecture 
model checking  seminar  
summer 1999  theorem proving  lecture 
algorithms and data structures  lecture  
model checking  seminar  
operating systems proseminar  proseminar  
winter 98/99  operating systems  lecture 
Programminginthemany: Programming Environment for Statecharts (PEST) (see also the git repos)  software project  
semantics and verification of objectoriented programs 
seminar  
summer 1998  Java course  programming course 
hardware verification  seminar  
formal modelling with Rhapsody/statecharts  seminar  
winter 97/98  distributed algorithms  seminar 
hybrid systems  lecture  
