Funding

• Principal Investigator (one of 18 PIs), Collaborative Research Centre 248, German Research Foundation (DFG).
  Foundations of Perspicuous Software Systems, 2018-2022. EUR 11,000,000.

• Principal Investigator, Consolidator Grant: European Research Council (ERC).
  Analysis, Verification, and Synthesis of Infinite-State Systems, 2015-2021. EUR 1,835,000.

• EPSRC grants

• Principal Investigator: The Leverhulme Trust, UK (Visiting Professor Philippe Schnoebelen).
  Algorithmic Theory of Well-Structured Systems: Applications to Verification, 2011-2012. GBP 17,650.

• Supervisor, FP6 Marie Curie Intra-European Fellowship: European Commission (Fellow Patricia Bouyer).
  Logical Languages for Embedded Systems, 2006-2007. EUR 47,000.