We have active research interests in various fields of software engineering, with a particular focus on model- and data-driven methods which enable formal reasoning and simulation, and which facilitate the automated transition between informally sketched requirements or designs and implementations. Investigated application areas comprise classical information systems and web applications, embedded systems, automated production systems, cyber-physical systems, internet-of-things applications as well as scientific software and data analytics.