Logik und Formale Verifikation

Wie kann die Korrektheit von Software und Hardware formal überprüft werden? Wie können Datenbankabfragen schneller beantwortet werden? Wie kann Wissen so gespeichert werden, dass es leicht genutzt werden kann? Bei der Beantwortung solcher Fragen spielen Methoden aus der theoretischen Informatik, insbesondere aus der Logik, eine große Rolle. Mich fasziniert, wie hierbei Theorie und Praxis zusammenspielen, um wichtige Probleme zu lösen. In meinen Lehrveranstaltungen lernen Studierende, wie sich mit Methoden aus dem Bereich Logik herausfordernde Problemstellungen aus unterschiedlichsten Gebieten der Informatik besser verstehen und lösen lassen.