Institut für Theoretische Informatik

Willkommen am Institut für Theoretische Informatik

Lehrstühle

   
Algorithmik Prof. Dr. Dorothea Wagner
Algorithmik Prof. Dr. Peter Sanders
Anwendungsorientierte Formale Verifikation Prof. Dr. Bernhard Beckert
Automated Software Analysis Group J. Prof. Dr. Mana Taghdiri
Forschungsgruppe Paralleles Rechnen J. Prof. Dr. Henning Meyerhenke
Logik und Formale Methoden Prof. Dr. Peter H. Schmitt
Nachwuchsforschergruppe:
Verifikation trifft Algorithmik
Dr. Carsten Sinz

Emeritus

 
Emeritus Prof. Dr. Wolfram Menzel