Home | english | Impressum | Sitemap | KIT

Kontakt

Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe

Tel: +49 721 608-43919
Fax: +49 721 608-44211

Forschungsgruppe Logik und Formale Methoden

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.