Study, Research, Work
I finished my master‘s degree at University Konstanz in August 2010.
Since September 2010 I am employed as a research assistant at the Chair for Software Engineering.
For more comprehensive information on my professional activities, please have a look at my Xing Profile
Research Interests: Use of fomal methods in the design of complex systems, model checking, semantics and verification of object-oriented modeling techniques, semantics and verification of UML, verification of probabilistic system properties, case studies in the design and verification of concurrent (software) systems.
See here for a list of my publications.
