Business card "Prof. Dr. Heike Wehrheim"
Prof. Dr. Heike Wehrheim

Email: ?
Department für Informatik
- Address
-
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg
Current courses
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
Wintersemester 2024/2025
- 2.01.-CAUSE Seminar des Graduiertenkollegs CAUSE
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401a Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401b Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401d Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401e Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401f Grundlagen der Theoretischen Informatik (Ü)
- 2.01.490 Logical Methods in AI Verification
- 2.01.800-B Proseminar: Techniken der Programmanalyse
- 2.01.801-B Forschungsseminar Formale Methoden
- 2.01.AM-22 Oberseminar Formale Methoden