contact details

dietrich.kuske@tu-ilmenau.de

+49 3677 69-1444

Office: Zusebau, Raum 1047

Postal address:

Fachgebiet Automaten und Logik
Fakultät für Informatik und Automatisierung
Postfach 100565
D-98684 Ilmenau
Germany

Office hours: anytime or by email-appointment

detailed information

research interests

  • logic in computer science,
  • automata theory,
  • and the connection between the two