Kontakt

dietrich.kuske@tu-ilmenau.de

+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

detaillierte Informationen

Forschungsinteressen

  • Logik in der Informatik
  • Automatentheorie
  • Verbindung dieser Gebiete