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

Prof. Dr. Dietrich Kuske

dietrich.kuske@tu-ilmenau.de

+49 3677 69-1444

  Zusebau, Raum 1047

Sprechstunde: jederzeit bzw. nach E-Mail-Vereinbarung

 

Postadresse:

Fachgebiet Automaten und Logik

Fakultät für Informatik und Automatisierung

Postfach 10 05 65

98684 Ilmenau

Forschungsinteressen

  • Logik in der Informatik
  • Automatentheorie
  • Verbindung dieser Gebiete