Institute of Theoretical Informatics

Welcome to the Institute of Theoretical Informatics

Groups

   
Algorithmics Prof. Dr. Dorothea Wagner
Cryptography and IT Security Prof. Dr. J. Müller-Quade
Algorithmics Prof. Dr. Peter Sanders
Application-oriented Formal Verification Prof. Dr. Bernhard Beckert
Cryptography and IT Security J. Prof. Dr. D. Hofheinz
Automated Software Analysis Group J. Prof. Dr. Mana Taghdiri
Parallel Computing Group J. Prof. Dr. Henning Meyerhenke
Logic and Formal Methods Prof. Dr. Peter H. Schmitt
YIG Algorithms for Geovisualization Dr. Martin Nöllenburg
Verification meets Algorithmics Dr. Carsten Sinz
High Performance Computing in the Life Sciences Prof. Dr. Alexandros Stamatakis

Emeritus

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