Willkommen im Institut für Theoretische Informatik

Institutsleiter: Prof. Dr. Martin Dietzfelbinger

Wir vertreten die Theoretische Informatik an der Fakultät für Informatik und Automatisierung der Technischen Universität Ilmenau. Hierunter verstehen wir insbesondere die Algorithmik, die Automatentheorie und die Logik in der Informatik. Diese Schwerpunkte spiegeln sich im Lehrangebot, in der Forschung und in der Gliederung des Instituts in die folgenden Fachgebiete wieder:

FG Automaten und Formale Sprachen (Prof. Kunde)

FG Komplexitätstheorie und Effiziente Algorithmen (Prof. Dietzfelbinger)

FG Theoretische Informatik (Prof. Kuske)