I am a postdoc in the DEEPSE group since 2011 and I am currently working in the context of the EU-funded project SMSCom. Formerly, I worked in the software engineering group in Paderborn, Germany, where I received my doctorate degree in 2011.

My research interests are intuitive, but precise software specification techniques for dynamic, distributed systems. Especially, I am interested in scenario-based software specification approaches and the application of formal methods to automatically synthesize controllers from such specifications and to help software engineers detect and understand inconsistencies they may have introduced. Furthermore, I am interested in graph transformations, especially Triple Graph Grammars (TGGs) and their application for the transformation, synchronization and consistency management of models that are created throughout the model-based development process of software and systems.

Office

Contact Information

Publications