Teaching
University of Freiburg
- SS 22
- Decision Procedures
- WS 21/22
- Proseminar Programmanalyse
- SS 21
- Automata Theory
- WS 20/21
- Proseminar Programmanalyse
- SS 20
- Automata Theory
- WS 19/20
- Decision Procedures, Proseminar Programmanalyse
- WS 18/19
- Proseminar Programmanalyse
- SS 18
- Decision Procedures
- SS 17
- Formal Methods for Java
- WS 16/17
- Decision Procedures
- WS 15/16
- Decision Procedures
- SS 14
- Einführung in die Informatik
- WS 13/14
- Computer Supported Modelling and Reasoning
- SS 13
- Decision Procedures
- WS 12/13
- Formal Methods for Java
- SS 12
- Decision Procedures
- WS 11/12
- Formal Methods for Java
- SS 11
- Static Checkers for Java and C#
- WS 10/11
- Informatik III, Theory II
- SS 09
- Decision Procedures
- WS 09/10
- Informatik III
- SS 09
- Seminar: Static Checkers for Java and C#
- WS 08/09
- Decision Procedures
- SS 08
- Formal Methods for Java
- WS 07/08
- Decision Procedures
- SS 07
- Formal Methods for Java
- WS 06/07
- Verification
Seminar Software Model Checking
University of Oldenburg
- SS 06
- Practical Course Real-time Systems
- SS 04
- Practical Course Real-time Systems
- WS 02/SS 03
- Project Group KautS