
Prof. Dr. Dietrich Kuske
+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