Im Wintersemester 21/22 halte ich die folgenden Veranstaltungen
- Kryptographie (Modulkatalog)
- Programmverifikation (Modulkatalog)
- Theoretische Informatik II (Modulkatalog)
- Algorithmen und Datenstrukturen 2 (Modulkatalog)
Im Wintersemester 21/22 halte ich die folgenden Veranstaltungen