Urheberrecht: © Martin Ritzert

In Forschung und Lehre vertritt der Lehrstuhl ein breites Spektrum von Themen der theoretischen Informatik, insbesondere aus der Logik, der Komplexitätstheorie, der Algorithmik und der Automatentheorie. Von besonderem Interesse sind für uns die zahlreichen Verbindungen zwischen diesen Gebieten.

Der Lehrstuhl Informatik 7 ist Teil der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik, Naturwissenschaften. Es besteht eine enge Zusammenarbeit mit dem Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik.