I am an independent research group leader at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, funded by the Emmy Noether Programme of the German Science Foundation (DFG).

The research of my group is driven by the goal to significantly expand the applicability of fully automated synthesis tools to reliable cyber physical system design. Our work draws inspiration from both Control Theory and Computer Science and centers around Reactive Synthesis, Supervisory Control Theory, Abstraction-Based Controller Synthesis, and Hierarchical Control.