Prof. Dr. Heike Wehrheim

Press releases with mentions

Department of Computing Science  (» Postal address)

Lectures

Winter term 2023 / 2024

2.01.489 Verification of Parallel Programs
2.01.490 Seminar: Logical Methods in AI Verification
2.01.800-B Proseminar: Graphen - Konzepte, Algorithmen und Komplexität
2.01.801-B Forschungsseminar Formale Methoden
2.01.803 Softwareverifikation (V)
2.01.803-A Softwareverifikation (Ü)
2.01.AM-22 Oberseminar Formale Methoden
Internetkoordinator (Changed: 13 Sep 2023)  | 
Zum Seitananfang scrollen Scroll to the top of the page