I am an Assistant 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 research focuses are (1) integrating Model-Based Systems Engineering and ontologies in Digital Twins, and (2) software engineering for knowledge graphs. I am developing and maintaining the SMOL language which enables programs to use knowledge graphs for reflection and data access.

You can find a list of my publications at dblp or Google Scholar. Preprints are published here, and slides of presentations here.

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.