Prof. Dr. Christoph Matheja ist auf die Professur für die Theorie korrekter Systeme am Department für Informatik berufen worden. Er studierte Informatik an der RWTH Aachen, schloss das Studium 2014 mit einem Master ab und promovierte im Jahr 2020.

Im Anschluss an die Promotion war Matheja von 2020 bis 2021 Wissenschaftlicher Mitarbeiter an der ETH Zürich (Schweiz). An der Technischen Universität von Dänemark in Lyngby war er von 2021 bis 2023 als Assistant Professor und von 2023 bis 2024 als Associate Professor tätig.

Mathejas Forschungsschwerpunkt liegt in der Entwicklung von formalen Methoden und Werkzeugen zur Softwareverifikation, die in Form eines mathematischen und idealerweise maschinell überprüfbaren Beweises harte Garantien über die Korrektheit eines Systems liefern. Hierzu entwickelt er Werkzeuge zur Verifikation, mit denen Programmierfehler frühzeitig auszuschließen sind. Insbesondere arbeitet er an der Analyse probabilistischer Programme, die Entscheidungen aufgrund von Zufallsexperimenten treffen. Matheja entwickelt Methoden, mit denen quantifiziert werden kann, wie korrekt und robust solche Programme arbeiten.