Willkommen auf der Seite des Lehrstuhls für Automated Reasoning!

Das Ziel unseres Lehrstuhls ist die Entwicklung von Methoden zur Verifikation von Computersystemen. Wir entwickeln und benutzen u. a. Methoden aus der algorithmischen Logik (insbesondere Erfüllbarkeit Modulo Theorie), Automatentheorie, Programmiersprachentheorie, Algorithmen- und-Komplexitätstheorie. Zu unseren Interessenschwerpunkten gehören u.a. die Anwendung in den Bereichen von Web-Sicherheit, Web-Optimierung, Verifikation von komplexen nebenläufigen Computerprogrammen und Datenbanken. Wir versuchen stets, eine Balance zwischen Theorie, Softwareentwicklung und Fallstudien zu halten/bewahren.

Check out our news page for all recent activities, including position openings