Institut für Theoretische Informatik

Willkommen auf der Webseite des Instituts für theoretische Informatik. Unser Institut befasst sich mit den theoretischen Grundlagen der Informatik, dabei stehen hauptsächlich die folgenden Themen im Vordergrund:

• Berechenbarkeit und Komplexitätstheorie
• Graphentheorie
• Algorithmik und Datenstrukturen
• Logik, speziell SAT-Solving
• Sequenzanalyse und Datenkompression
• Bioinformatik
• Quantum Computing
• Kryptologie

Neben diesen Schwerpunkten sind wir natürlich auch an anderen Aspekten der theoretischen Informatik interessiert. Einen ersten Eindruck des Instituts kann man anhand der nebenstehenden Gallerie gewinnen - unsere Forschung in Bildern.