Prof. Dr. Heike Wehrheim

Pressemitteilungen mit Nennung der Person

Department für Informatik  (» Postanschrift)

uol.de/informatik

Lehrveranstaltungen

Sommersemester 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