INHALTE
Institut für Theoretische Informatik
Willkommen im Institut für Theoretische Informatik
Institutsleiter: Univ.-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 und die Komplexitätstheorie, 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 wider:
FG Komplexitätstheorie und Effiziente Algorithmen (Prof. Dietzfelbinger)
FG Automaten und Logik (Prof. Kuske)