Software Enginnering Group
Faculty of Electrical Engineering and Computer Science
Leibniz Universität Hannover
I am a software architect at Volkswagen (Volkswagen Commercial Vehicles) and a supernumerary Professor (apl. Prof.) at the Faculty of Electrical Engineering and Computer Science the Leibniz Universität Hannover, associated with the Software Engineering Group. This website presents my research- and teaching-related activities.
From 2013-2019 I was an assistant professor (Juniorprofessor) at the Leibniz Universität Hannover, affiliated to the Software Engineering Group of Prof. Kurt Schneider. Before that (from 2011-2013), I was a postdoc researcher in the DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) group, working with Prof. Carlo Ghezzi, at the Politecnico di Milano.. From 2007-2011, I was a doctoral student in the Software Engineering Group at the University of Paderborn, led by Prof. Wilhelm Schäfer.
My research focuses on model-based, automated, and formal software engineering techniques for the development and analysis of software-intensive systems. Especially, I am interested in scenario-based specification approaches for cyber-physical systems and the application of systematic validation, formal verification, and machine learning techniques.