| WS 08 : | Course Language based security |
| SS 08 : | Course Virtual Machines |
| WS 07 : | Course Language based security |
| SS 07 : | Course Virtual Machines |
| WS 06 : | Seminar Entscheidungsproblem |
| Tutorial Grundlagen der Programmierung | |
| SS 06 : | Course Language Based Security |
| WS 05 : | Course Cryptographic Protocols |
| Tutorial Info-I | |
| SS 05 : | Course Abstract Machines |
| Seminar Automated Deduction | |
| WS 04 : | Course Fundamental Algorithms |
| Tutorial Program Optimization | |
| SS 04 : | Course Tree Automata |
| Tutorial Abstract Machines | |
| WS 03 : | Course Verification of Cryptographic Protocols |