Postdoctoral Fellow
I am a postdoctoral fellow at the University of Oslo, associated with the Analytical Solutions and Reasoning group and the SIRIUS centre , where I work on formal methods for digital twins with Einar Broch Johnsen and Martin Giese . Before I came to Oslo, I got my PhD from the Technical University of Darmstadt under the supervision of Reiner Hähnle .
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. I am developing