Im Wintersemester 20/21 halte ich die folgenden Veranstaltungen
- Kryptographie (Moodle, Modulkatalog)
- Programmverifikation (Moodle, Modulkatalog)
- Theoretische Informatik II (Moodle, Modulkatalog)
Im Wintersemester 20/21 halte ich die folgenden Veranstaltungen