Wintersemester 21/22

Im Wintersemester 21/22 halte ich die folgenden Veranstaltungen

• Kryptographie (Modulkatalog)
• Programmverifikation (Modulkatalog)
• Theoretische Informatik II (Modulkatalog)
• Algorithmen und Datenstrukturen 2 (Modulkatalog)