Lehrveranstaltungsarchiv
Hier finden sich die Webseiten früherer, von mir betreuter 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.
- Programmiersprachen. Master-Basisveranstaltung, WS 2023/24.
- Einführung in die Formale Logik. Bachelor-Wahlveranstaltung (Theorie), SS 2023.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Bachelor-Basisveranstaltung, WS 2022/23.
- Reaktive Programmierung. Bachelor-Ergänzungsveranstaltung, SoSe 2022.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SoSe 2022.
- Programmiersprachen. Master-Basisveranstaltung, WS 2021/22.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SS 2021.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Bachelor-Basisveranstaltung, WS 2020/21.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SS 2020.
- Systeme Hoher Sicherheit und Qualität. Master-Basisveranstaltung, WS 2019/20.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SoSe 2019.
- Reaktive Programmierung. Bachelor-Ergänzungsveranstaltung, SoSe 2019.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Bachelor-Basisveranstaltung, WS 2018/19.
- Systeme Hoher Sicherheit und Qualität. Master-Basisveranstaltung, WS 2017/18.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SoSe 2018.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SoSe 2017.
- Reaktive Programmierung. Bachelor-Ergänzungsveranstaltung, SoSe 2017.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Bachelor-Basisveranstaltung, WS 2016/17.
- Korrekte Software: Grundlagen und Methoden. Bachelor-Basisveranstaltung, SoSe 2016.
- Systeme Hoher Sicherheit und Qualität. Master-Basisveranstaltung, WS 2015/16.
- Formale Modellierung. Bachelor-Basisveranstaltung, SoSe 2015.
- Reaktive Programmierung. Bachelor-Basisveranstaltung, SoSe 2015.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Bachelor-Basisveranstaltung, WS 2014/15.
- Verifikation von C-Programmen. Master-Ergänzungsveranstaltung, WS 2014/15.
- Formale Modellierung. Bachelor-Basisveranstaltung, SoSe 2014.
- Reaktive Programmierung. Bachelor-Basisveranstaltung, SoSe 2014.
- System Hoher Qualität und Sicherheit. Master-Basisveranstaltung, WS 2013/14.
- Formale Modellierung. Bachelor-Basisveranstaltung, SoSe 2013.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Grundstudiumsveranstaltung, WS 2012/13.
- Formale Modellierung. Bachelor-Basisveranstaltung, SoSe 2012.
- Formale Methoden der Softwaretechnik, Masterveranstaltung, SS 11.
- Praktische Informatik 3: Einführung in die Funktionale Programmierung. Grundstudiumsveranstaltung, WS 10/11.
- Fortgeschrittene Anwendungen der Funktionalen Programmierung. Hauptstudiumsveranstaltung, SS 10.
- Formale Methoden der Softwaretechnik. Hauptstudiumsveranstaltung, WS 09/10
- Fortgeschrittene Techniken der Funktionalen Programmierung. Hauptstudiumsveranstaltung, WS 09/10.
- 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