Professor Dr.-Ing. Oliver Theel

Adresse Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Ammerländer Heerstraße 114-118
26129 Oldenburg

Projekte

Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz (Graduiertenkollegs)
  - GRK 1765: Systemkorrektheit unter widrigen Umständen - SCARE (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Automatische Stabilitätsbeweisführung für Hybride Systeme (Transregios)
  - Verifikation von Verlässlichkeitseigenschaften (Transregios)