Hier finden sich frühere von mir betreute Lehrveranstaltungen. Die Links sind alle nicht mehr ganz taufrisch (besonders bei älteren Veranstaltungen), schon leicht angerostet und können bei übermäßiger Benutzung abbrechen, also bitte Vorsicht beim Browsen.
- Praktische Informatik 3. Grundstudiumsveranstaltung, WS08/09.
- Bedeutung und Korrektheit von C-Programmen
Hauptstudiumsveranstaltung, SS 08. - Das studentische Projekt Smart Office Building.
- Techniken
zur Entwicklung Korrekter Software 1 (TEKS 1).
Hauptstudiumsveranstaltung, WS 07/08. - Praktische Informatik 3. Grundstudiumsveranstaltung, WS06/07.
- Formale Methoden der Softwaretechnik II. Hauptstudiumsveranstaltung, SS 06.
- Formale Methoden der Softwaretechnik I. Hauptstudiumsveranstaltung, WS 05/06.
- Praktische Informatik 3. Grundstudiumsveranstaltung, WS04/05.
- Fortgeschrittene Techniken der Funktionalen Programmierung. Hauptstudiumsveranstaltung, WS 04/05.
- Praktische Informatik 3. Grundstudiumsveranstaltung, WS02/03.
- Prosecco - proven security and correctness. Studentisches Projekt, ab Wintersemester 01.
Dazu: Materialen zum Programmieren mit Haskell. - Techniken zur Entwicklung korrekter Software. Hauptstudiumsveranstaltung, SS 02.
- Praktische Informatik 3.
Grundstudiumsveranstaltung, WS01/02.
Dazu: Haskell in Space. - Internet-Programmierung. Hauptstudiumsveranstaltung, Sommersemester 01.
- Praktische Informatik 3. Grundstudiumsveranstaltung, WS00/01.
- Praktikum Abstrakte Systemprogrammierung. Hauptstudiumsveranstaltung, Sommersemester 2000.
- Abstrakte Systemprogrammierung. Hauptstudiumsveranstaltung, Wintersemester 99/00.
- Korrekte Software durch Formale
Methoden.
Hauptstudiumsveranstaltung, Wintersemester 98/99; Praktikum, Sommersemester 99. - Gödel, Escher, Bach, Isabelle: Logik-Kurs, Sommersemester 98