Willkommen auf der Webseite der Abteilung Theorie korrekter Systeme, geleitet von Prof. Dr. Christoph Matheja. 

Unsere Forschungsthemen umfassen formale Methoden und Verifikation, insbesondere für probabilistische Systeme und Programme mit dynamischem Speicherzugriff. Unsere Mission ist es Methoden und Werkzeuge zu entwickeln, die das Vertrauen in die Korrektheit und Verlässlichkeit von Softwaresystemen stärken. Hierzu arbeiten wir zum Beispiel mit quantitativer Verifikation, Beweistechniken für probabilistische Programme, Separation Logic, Model Checking, Probabilistic Programming, Rust und statischer Programmanalyse.

Weitere Details sind auf der englischen Version dieser Seite und auf der persönlichen Seite von Christoph Matheja zu finden.