Am Lehrstuhl Theoretische Informatik beschäftigen wir uns schwerpunktmäßig mit Fragestellungen der Berechenbarkeits- und der strukturellen Komplexitätstheorie in verschiedenen Rechenmodellen sowie dem Entwurf und der Analyse von Algorithmen in einem derartigen Rahmen.