Our group is additionally funded by the German Science Foundation (DFG) through the following projects:

• 2023-2027 Transregional Collaborative Research Center “Foundations of Perspicuous Software Systems” (Phase 2)
  Project: “Distributed Knowledge and Information Flow” with co-PI Bernd Finkbeiner
• 2020-2026 Emmy-Noether-Research-Grant
  Project: “Automated Modular Synthesis for Reliable Cyber Physical System Design”