I am an independent research group leader at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, leading the Control Software Systems Group. My group is externally funded by the Emmy Noether Programme of the German Science Foundation (DFG). In addition, I am a member of the DFG Transregional Collaborative Research Center “Foundations of Perspicuous Software Systems ”.

The research of my group is driven by the goal to significantly expand the applicability of fully automated logical control software synthesis tools to reliable cyber physical system design. Our work is a truly interdisciplinary effort at the intersection of control engineering and computer science.  It intervenes logical control, dynamical systems theory, software verification and reactive software synthesis. We build scalable, efficient and highly automated algorithms for CPS design, which address the challenge of reliably orchestrating continuous physical components and discrete decision making units within the automation systems of the future.