Professor Dr. Thomas Zeume

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

Projects

As Applicant
- Current projects
  - Perspectives on dynamic complexity theory (Research Grants)
  - Formal Foundations for Teaching Support Systems in Theoretical Computer Science (Research Grants)