Willkommen bei der Forschungsgruppe Logik und Formale Methoden
Prof. Dr. Peter H. Schmitt
Die Forschergruppe 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.
|
Das KeY-Projekt
|
Möglichkeiten zur Mitarbeit
Zur Verstärkung unseres Teams suchen wir engagierte Studierende, die Interesse haben, in einem dynamischen Umfeld an aktuellen Forschungsthemen tatkräftig mitzuwirken. Inbesondere wird Unterstützung für die Projekte KeY, Diana und ZeuS gesucht.
|
Kontakt