Prof. Dr. Heike Wehrheim

Press releases with mentions

Department of Computing Science  (» Postal address)

Lectures

Winter term 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
Internetkoordinator (Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page