Die Forschungsgruppe Logik und Formale Methoden am Institut für Theoretische Informatik strebt im globalen Wettbewerb nach einer führenden Rolle in Forschung und Lehre auf dem Gebiet der Logik in der Informatik. Dabei spielt sowohl die Pflege der reichhaltigen, auf die mathematische Logik zurückgehende Tradition dieses Gebiets eine wichtige Rolle als auch die Anwendung und Weiterentwicklung logischer Methoden und Resultate auf aktuelle Problemstellungen der Informatik.

Aktuelle Schwerpunkte unserer Arbeit sind die formale Spezifikation und automatische Verifikation von Software.