Prof. Dr. Heike Wehrheim

Press releases with mentions

Department of Computing Science  (» Postal address)

Lectures

Summer term 2025

2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
2.01.481 Software Analysis
2.01.490 Logical Methods in AI Verification
2.01.800-A Proseminar: Algorithmen auf Graphen
2.01.801-B Forschungsseminar Formale Methoden
2.01.AM-22 Oberseminar Formale Methoden