Forschung im Institut Theoretische Informatik

Wir befassen uns mit Fragen der Algorithmik (insbesondere mit randomisierten Algorithmen), der konkreten Komplexitätstheorie, der Verifikation (insbesondere mit dem Model Checking) und der Logik.

Diese Arbeiten sind in den Fachgebieten angesiedelt und daher auch dort näher erläutert. 

Alle 14 Tage werden aktuelle Ergebnisse im Seminar des Institutes vorgestellt.

Die folgenden Workshops sind von uns organisiert worden: