Theoretische Informatik

Dozenten: Prof. Dr. Bernhard Nebel zusammen mit Prof. Dr. Andreas Podelski
Assistenten: Rolf-David Bergdoll zusammen mit Dominik Klump

Die Organisation der Vorlesung erfolgt durch die Abteilung Softwaretechnik.