Teaching
University of Freiburg
- SS 13
- 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