2017-2018
- Language-Based Software Security (Sebastian Erdweg)
- Seminar Programming Languages (Eelco Visser & Sebastian Erdweg & Robbert Krebbers)
- Compiler Construction (Eelco Visser)
- Concepts of Programming Languages (Eelco Visser)
- Algorithms and Data structures (Robbert Krebbers)
- Software Verification (Robbert Krebbers)
2016-2017
- Language-Based Software Security (Sebastian Erdweg)
- Seminar Programming Languages (Eelco Visser & Sebastian Erdweg)
- Compiler Construction (Eelco Visser)
- Concepts of Programming Languages (Eelco Visser)
- Algorithms and Data structures (Robbert Krebbers)