Professor Dr. Thomas Zeume

Adresse Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation
Wasserstraße 221
44799 Bochum

Projekte

Als Antragsteller
- laufende Projekte
  - Perspektiven auf die dynamische Komplexitätstheorie (Sachbeihilfen)
  - Formale Grundlagen von Lernsystemen für die Theoretische Informatik (Sachbeihilfen)