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
Internetkoordinator (Stand: 06.02.2025)  |  Kurz-URL:Shortlink: https://uol.de/person/CHelling
Zum Seitananfang scrollen Scroll to the top of the page