Details sind auf meiner persönliche Webseite zu finden.

• seit 09/2024: Professor, Abteilung Theorie korrekter Systeme, Carl von Ossietzky Universität Oldenburg (DE) 
• seit 09/2023: Associate Professor, Section for Software Systems Engineering, Department für Angewandte Mathematik und Informatik, Technische Universität von Dänemark (DK)
• 08/2021 - 08/2023: Assistant Professor, Section for Software Systems Engineering, Department für Angewandte Mathematik und Informatik, Technische Universität von Dänemark (DK)
• 03/2020 - 11/2021: Postdoktorand, Programming Methodology Group, ETH Zürich (CH)
• 01/2020: Promotion in Informatik (summa cum laude), RWTH Aachen (DE)
• 12/2014 - 03/2020: Wissenschaftlicher Mitarbeiter, Software Modeling and Verification Group, RWTH Aachen (DE)
• 09/2014: Master of Science in Informatik (mit Auszeichnung), RWTH Aachen (DE)
• 09/2012: Bachelor of Science in Informatik, RWTH Aachen (DE)