Ein Portrait vom Prof. Dr. Dietrich Kuske@TU-Ilmenau
Prof. Dr. Dietrich Kuske

dietrich.kuske@tu-ilmenau.de

+49 3677 69 – 1444

⌂  Zusebau, room 1047

Consultation hours: at any time or by e-mail arrangement

Detailed information

Postal address

Group of Automata and Logic

Department of Computer Science and Automation

PO Box 10 05 65

98684 Ilmenau

Research interests

  • Logic in computer science
  • Automata theory
  • Connection of these fields

Publications