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.


Research Projects

“If we knew what it was we were doing, it would not be called research, would it?" Bern alumni Albert Einstein