Prof. Dr. Heike Wehrheim

Pressemitteilungen mit Nennung der Person

Department für Informatik  (» Postanschrift)

https://uol.de/informatik/

Lehrveranstaltungen

Wintersemester 2024 / 2025

2.01.401 Grundlagen der Theoretischen Informatik
2.01.401a Grundlagen der Theoretischen Informatik (Ü)
2.01.401b Grundlagen der Theoretischen Informatik (Ü)
2.01.401d Grundlagen der Theoretischen Informatik (Ü)
2.01.401e Grundlagen der Theoretischen Informatik (Ü)
2.01.401f Grundlagen der Theoretischen Informatik (Ü)
2.01.490 Logical Methods in AI Verification
2.01.800-B Proseminar: Techniken der Programmanalyse
2.01.801-B Forschungsseminar Formale Methoden
2.01.AM-22 Oberseminar Formale Methoden