Hauptseite
Kontakt
Arbeitsgebiete
- Logik in der Informatik
- Komplexität
- Modelle für Nebenläufigkeit
- Datenkompression
- Kombinatorische Gruppentheorie
Veröffentlichungen
Vorträge
Lehre
Lebenslauf
Konferenzen, Workshops
GI-Fachgruppe Logik in der Informatik (LogInf)