Formal modeling and analysis of complex genetic circuits in biological systems: LOEWE project CompuGene
Formal modeling and analysis of railroad operations: project FormbaR with Deutsche Bahn Netz AG as part of the TU Darmstadt-Deutsche Bahn AG Innovation Alliance
The LOEWE project Software-Factory 4.0 (SF4.0) is a 4-year project funded by the German State of Hesse. SF4.0 is concerned with the adaptation of legacy software due to changed requirements and technical advances.
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Ethiopia (2018)
22nd International Conference on Fundamental Approaches to Software Engineering (FASE), Prague, Czech Republic (April 2019)
I am on the editorial board of the Journal of Automated Reasoning published by Springer-Verlag. The journal solicits contributions on all aspects of mechanized reasoning including all kinds of applications such as verification. Feel free to contact me if you are interested to submit an article.
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