
Kontakt
+49 3677 69-1444
Büro: Zusebau, Raum 1047
Postadresse:
Fachgebiet Automaten und Logik
Fakultät für Informatik und Automatisierung
Postfach 100565
98684 Ilmenau
Sprechstunde: jederzeit bzw. nach email-Vereinbarung
Forschungsinteressen
- Logik in der Informatik
- Automatentheorie
- Verbindung dieser Gebiete
Veröffentlichungen
|