About

My research is about the development of new methods that enable software engineers to more efficiently develop and maintain complex software systems. My focus is on software modeling and specification languages. These languages introduce new concepts and abstractions to capture the complexity of software systems. Specifically, I am interested in developing the right tools and processes to leverage existing knowledge present in heterogeneous and evolving software models.

Techniques applied in my research are design of modeling languages, verification algorithms and tools, automated synthesis of reactive systems, and evolution analysis -- with various applications, e.g., to software of trusted autonomous robots and automotive systems.

I joined Bauhaus-Universität Weimar, Germany as Professor of Software Engineering in April 2022. Before that I was a lecturer in the Software Systems group in the Department of Informatics of King's College London, UK (08/2021-03/2022). Earlier, I was lecturer for model-based software engineering at the School of Informatics of the University of Leicester, UK (02/2018-08/2021). Previously, I was a PostDoc in the Software Modeling group of Shahar Maoz at the School of Computer Science, Tel Aviv University, Israel (12/2013-01/2018). Before, I worked in the Software Engineering group of Bernhard Rumpe at RWTH Aachen University, Germany (10/2008-11/2013). I received my Computer Science diploma (Dipl.-Inform.) from TU Braunschweig, Germany (2003-2008).

During my PhD studies I was part of the DFG RTG AlgoSyn. My first two PostDoc years were funded by a Minerva fellowship. Later, my PostDoc fellowship was funded by the SYNTECH project.

Contact me by email: