Visitenkarte "Prof. Dr. Heike Wehrheim"
Prof. Dr. Heike Wehrheim
E-Mail: ?
Department für Informatik
- Anschrift
-
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg
Aktuelle Lehrveranstaltungen
Sommersemester 2024
Wintersemester 2023/2024
- 2.01.489 Verification of Parallel Programs
- 2.01.490 Seminar: Logical Methods in AI Verification
- 2.01.800-B Proseminar: Graphen - Konzepte, Algorithmen und Komplexität
- 2.01.801-B Forschungsseminar Formale Methoden
- 2.01.803 Softwareverifikation (V)
- 2.01.803-A Softwareverifikation (Ü)
- 2.01.AM-22 Oberseminar Formale Methoden
Alle Veranstaltungen anzeigen