About me
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.
Soon…
- I shall attend the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2012) in Hamburg, Germany
(June 25–29, 2012).
- I shall attend the 10th International Conference on Business Process Modeling (BPM 2012) in Tallinn, Estonia
(September 3–6, 2012).
- I shall attend the 9th International Workshop on Web Services and Formal Methods (WS-FM 2012) in Tallinn, Estonia
Recently…
- I was nominated as member of the program committee of the 34th International Conference “Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013)” (May 12, 2012).
- I was nominated as member of the program committee of the GI-GMDS interdisciplinary workshop “Service-oriented Architectures in the Healthcare Domain (SOAMED 2012)” (March 16, 2012).
- The paper “Compliance by design for artifact-centric business processes” has been accepted for Inf. Syst.. (March 8, 2012).
- I was nominated as member of the program committee of the Second International Conference “Business Intelligence and Technology (BUSTECH 2012)” (March 5, 2012).
- The paper “Stubborn Sets for Simple Linear Time Properties” has been accepted for the Petri Nets and Other Models of Concurrency — PETRI NETS 2012, 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Hamburg, Germany, June 25-29, 2012, Proceedings. (March 1, 2012).
- I successfully defended my Ph.D. thesis “Correctness of services and their composition” in Eindhoven, The Netherlands. (September 27, 2010).