About
Prof. Dr. Christoph Matheja is a Professor at the University of Oldenburg, Germany, where he leads the Theory of Correct Systems research group within the Department of Computing Science (since September 2024). His work focuses on developing rigorous methods to ensure software reliability through formal verification techniques.
Education:
- Doctorate in Computer Science (summa cum laude), RWTH Aachen, 2020
- Master of Science in Computer Science (with distinction), RWTH Aachen, 2014
- Bachelor of Science in Computer Science, RWTH Aachen, 2012
Research Focus: His research spans formal methods, program verification, and programming language theory, with emphasis on mathematical foundations for ensuring software correctness in critical systems.
Awards & Honors:
- Summa cum laude distinction for doctoral dissertation (RWTH Aachen)
- Distinction in Master's degree (RWTH Aachen)
0Publications listed
Find Christoph Matheja elsewhere
Related Searches
You Might Also Like
- CChristoph MathejaMax Planck Institute for Software Systems · Professor
- CChristoph MathejaRWTH Aachen University · Professor
Christoph MathejaTechnical University of Denmark · Associate Professor- KKevin BatzRWTH Aachen University · Researcher
- CChristopher BrixRWTH Aachen University · Researcher
Jan KřetínskýTechnical University of Munich · Assistant Professor