I was a PhD student at the Software Engineering group under the supervision of Prof. Reiner Hähnle. For my postdoc I moved to the University of Oslo. You can find me here.
I am involved in the FormbaR Project which investigates the application of Software Engineering tools and Formal Methods to rulebooks in the railway engineering domain.
My work mainly centers on Active Objects in general and the ABS language in particular. I am interested in the integration and combination of formal methods for specification and verification of distributed systems.
In FormbaR we currently develop a verification system that integrates static analysis and behavioral types into the KeY-ABS deductive verification system to model, specify and verify our formal system model of railway operations (and further distributed systems).
Beyond this, I am interested in formal modeling and static analysis of distributed systems in general.
We would like to customise the information and usability of this website to your preferences and needs.
To this end, we use so-called cookies. Please choose which cookies you would like to enable when visiting our webpages.
Some of these cookies are required to load and correctly display this website on your device.
These are strictly necessary or essential cookies and cannot be deselected.
The preferences cookie saves your language setting, while the statistics cookie regulates
how the open-source statistical software “Matomo” analyses your visits to and activities on our website.
For more information about cookies we use, please refer to our