Institut für Theoretische Informatik

Willkommen am Institut für Theoretische Informatik

Lehrstühle

   
Algorithmik Prof. Dr. Dorothea Wagner
Kryptographie und Sicherheit Prof. Dr. J. Müller-Quade
Algorithmik Prof. Dr. Peter Sanders
Anwendungsorientierte Formale Verifikation Prof. Dr. Bernhard Beckert
Kryptographie und Sicherheit J. Prof. Dr. D. Hofheinz
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
YIG Algorithmen zur Geovisualisierung Dr. Martin Nöllenburg
Nachwuchsforschergruppe:
Verifikation trifft Algorithmik
Dr. Carsten Sinz
Hochleistungsrechnen in den Lebenswissenschaften Prof. Dr. Alexandros Stamatakis

Emeritus

 
Emeritus Prof. Dr. Wolfram Menzel
Emeritus Prof. em. Dr. Peter Deussen