In dieser Lehrveranstaltung behandeln wir wesentliche Bereiche der Theoretischen Informatik, d.h., der "ewigen Wahrheiten" der Informatik, die auf der Grundlage der Mathematik/Logik ein für allemal bewiesen wurden und die unabhängig von weiteren technologischen Entwicklungen sind. Zentrale Fragestellungen sind dabei der Begriff der Berechenbarkeit (was ist berechenbar und was nicht?) und der Komplexität (wie groß ist der für eine Berechnung notwendige Aufwand?).
- Lecturer: Ralf Hemmecke
- Lecturer: Nikolaj Popov
- Lecturer: Wolfgang Schreiner
This course gives a survey on the use of formal methods for the development of reliable software using freely available tools.
- Lecturer: Wolfgang Schreiner
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner