Teaching

go next top of page

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
 top of page go back

University of Oldenburg

SS 06
Practical Course Real-time Systems
SS 04
Practical Course Real-time Systems
WS 02/SS 03
Project Group KautS