Prof. Dr. Christoph Matheja

Kontakt

A03 202-a (» Adresse und Lageplan)

Forschung

Die Forschungsgruppe „Theorie korrekter Systeme“ entwickelt formale Techniken und Werkzeuge, um das Vertrauen in die Korrektheit von Softwaresystemen zu stärken. Weitere Informationen zu laufenden und abgeschlossenen Forschungsprojekten und Werkzeugen sind auf der englischen Version dieser Seite zu finden.

(Stand: 10.09.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page