I am an Associate Professor at the IT University of Copenhagen, associated with the Software Quality group. I also hold a part-time position as Senior Researcher with the University of Oslo, where I am associated with the Oslo Information Modelling Laboratory. I got my PhD from the Technical University of Darmstadt under the supervision of Reiner Hähnle on modularity in deductive verification. My main research focuses are (1) the investigation of knowledge graphs from a software engineering perspective, and (2) the integration of Model-Based Systems Engineering and ontologies in Digital Twins.

I am developing and maintaining the SMOL language which enables programs to use knowledge graphs for reflection and data access.

Recent and Upcoming Events

Publication: IJCAI 2026

Our demo paper titled “GEV: Statically Correct and Programmable Knowledge Graph Updates” has been accepted for publication at IJCAI. You find the preprint here.

Keynote: onto:Nexus 2025

I gave a keynote titled “Software Quality for the Semantic Web” at onto:Nexus. You find the slides here.

Grant: Graph-Based Verification of Reflective Programs

The project “Graph-Based Verification of Reflective Programs” will be funded by the Independent Research Foundation of Denmark as a Sapere Aude grant!

Award: Extended Semantic Web Conference 2025

Our paper at ESWC got awarded the Best In-Use Paper Award! You find the preprint here.