Teaching
Most of my teaching material, you can find in Stud.IP.
This page contains only supplementary material for selected lectures.
- Software Analysis
- Software Engineering
- Verified Software Systems
- Functional Programming
- Pro/Seminar (Varying Topics)
- Proseminar Software Engineering
- Seminar Advanced Topics in Software Engineering
- Project ("RIKA")
- Lab ("Softwarepraktikum")
- Oberseminar