Wintersemester 20/21

Im Wintersemester 20/21 halte ich die folgenden Veranstaltungen

• Kryptographie (Moodle, Modulkatalog)
• Programmverifikation (Moodle, Modulkatalog)
• Theoretische Informatik II (Moodle, Modulkatalog)