http://www.tu-ilmenau.de

Logo TU Ilmenau


You are here

INHALTE

Prof. Dr. Dietrich Kuske

Contact Details

Email:Dietrich.Kuske@tu-ilmenau.de
Phone:+49 (0) 3677 69-1444
Office:Zusebau, room no 1047
Postal address:

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

Office hours:anytime or on email appointment
detailed information

Research Interests

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

Publications