I am a postdoc researcher at the University of Rostock in the Theory of Programming Languages and Programming group. Before, I was working in the Theory of Programming group at the Humboldt-Universität zu Berlin and the Architecture of Information Systems group at the Technische Universiteit Eindhoven.
My research is centered around the correctness of systems, from the transformation of a system description into a formal model to the model checking. Even more interesting is to guarantee correctness by construction. To analyze correctness of real systems, tool development is an important part of my research.
- The paper “Where did I go wrong? — Explaining errors in business process models” has been accepted for the Business Process Management, 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. (May 23, 2014).
- I was nominated as member of the program committee of the 1st International Workshop “Compliance, Evolution and Security in Cross-Organizational Processes (CeSCoP 2014)” (March 13, 2014).
- I attended the Sixth Central-European Workshop on Services and their Composition (ZEUS 2014) in Potsdam, Germany (February 20–21, 2014).
- The paper “Where did I go wrong? — Explaining errors in business process models” has been accepted for the Proceedings of the 6th Central-European Workshop on Services and their Composition, ZEUS 2014, Potsdam, Germany, February 20-21, 2014. (February 10, 2014).
- I was nominated as member of the program committee of the International Workshop “Petri Nets and Software Engineering (PNSE 2014)” (January 30, 2014).
- I successfully defended my Ph.D. thesis “Correctness of services and their composition” in Eindhoven, The Netherlands. (September 27, 2010).