Universität Ulm
,
Fakultät für Ingenieurwissenschaften und Informatik
,
Institut für Theoretische Informatik
Jochen Messner
Adresse
- contact information
Forschungsinteressen - research interests
- Komplexitätstheorie - complexity theory
- Algorithmen - algorithms
- Beweiskomplexität - proof complexity
- Beweissysteme - proof systems
Lehre - teaching
Sonstiges