About me
I am an Assistant Professor at the IT University of Copenhagen, associated with the Software Quality group, where I work on self-adaptive digital twins, software engineering for knowledge graphs, and deductive verification. I also hold a part-time position as Senior Researcher with the University of Oslo, where I am associated with the Reliable Systems group. 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 on the integration of technologies and theories from the Semantic Web with formal methods to specify, analyse and simulate data-heavy computational systems, in particular Digital Twins. I am developing and maintaining the SMOL language which enables programs to use knowledge graphs for reflection and data access. Furthermore, I research novel approaches to modularity in deductive program verification, in particular notions of contracts for distributed and hybrid systems.
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
Tutorial: “Testing Knowledge Graph Applications” at ISWC 2025
I will present a tutorial on our work on test case generation for knowledge graphs at ISWC’25, a website with material will be online soon!
Award: Extended Semantic Web Conference 2025
Our paper at ESWC got awarded the Best In-Use Paper Award! You find the preprint here.
Awards: International Conference on Engineering Digital Twins 2024
Our papers at EDTConf got awarded the Best Paper Award and the Best Short Paper Award! You find the preprints here and here.
Tutorial: “The Semantically Reflected Digital Twin” at MODELS 2024
I gave tutorial on our work on semantic lifting and digital twins at MODELS’24, the slides are here.
Workshops at ISWC’24 on Software Lifecycle Management for Knowledge Graphs
We have run the 1st Workshop on Software Lifecycle Management for Knowledge Graphs and the 3rd International Workshop on Semantic Industrial Information Modelling as part of ISWC’24, you find the joint proceedings here.
Teaching
An instance of the KalkulierbaR tool for demonstrating different proof calculi is available at kbar.app, the source code to run an own instance is available on github.