Willkommen am Institut für Theoretische Informatik
Lehrstühle |
 |
|
 |
 |
 |
|
|
|
Lehrstühle |
|
|
| Algorithmik I | Prof. Dr. Dorothea Wagner |
| Algorithmik II | Prof. Dr. Peter Sanders |
| Anwendungsorientierte Formale Verifikation | Prof. Dr. Bernhard Beckert |
| Automated Software Analysis Group | J. Prof. Dr. Mana Taghdiri |
| Logik und Formale Methoden | Prof. Dr. Peter H. Schmitt |
| Nachwuchsforschergruppe: Verifikation trifft Algorithmik |
Dr. Carsten Sinz |