Prof. Dr. Heike Wehrheim
Department für Informatik (» Postanschrift)
Sekretariat
Kontakt
Prof. Dr. Heike Wehrheim
Forschungsinteressen:
Der Forschungsschwerpunkt von Heike Wehrheim liegt in der Entwicklung von formalen Methoden für die Validierung von Software. Dabei werden sowohl automatische Verfahren untersucht als auch Verfeinerungsbeweise und Beweiskalküle entwickelt. Ein Fokus liegt momentan in der Untersuchung von kooperativen Verfahren zur Verifikation und der Einbeziehung von schwachen Speichermodellen in die Analyse von parallelen Algorithmen.
Lebenslauf
Prof. Dr. rer.nat. Heike Wehrheim ist seit 2021 Professorin für Formale Methoden an der Carl von Ossietzky Universität Oldenburg. Davor war sie seit 2004 Professorin für Spezifikation und Modellierung von Softwaresystemen an der Universität Paderborn. Sie habilitierte sich 2002 an der Universität Oldenburg und promovierte 1996 an der Universität Hildesheim nach einem Studium der Informatik an der Universität Bonn.
Veröffentlichungen
Lehrveranstaltungen
Sommersemester 2025
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