Prof. Dr. Ernst-Rüdiger Olderog

Entwicklung korrekter Systeme

https://csd.informatik.uni-oldenburg.de

Pressemitteilungen mit Nennung der Person

Department für Informatik  (» Postanschrift)

A03 2-211 (» Adresse und Lageplan )

Zeit nach Vereinbarung mit EMail

+49 441 798-2439  (F&P) 

+49 441 798-2965

Lehrveranstaltungen

Sommersemester 2023

2.01.1009 Oberseminar Entwicklung korrekter Systeme
2.01.485 Synthese durch Spiele
2.01.486 Model-Checking
2.01.800-B Proseminar Komplexitätsklassen und ihre typischen Probleme
2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
Internetkoordinator (Stand: 17.03.2023)  |