Funding

• Coordinating Principal Investigator (with co-PIs Valérie Berthé and Florian Luca), Synergy Grant: European Research Council (ERC).
  Dynamical and Arithmetical Model Checking (DynAMiCs), 2025-2031. EUR 7,451,252.

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

• 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 (AVS-ISS), 2015-2021. EUR 1,835,000.

• Co-Investigator (with PI James Worrell): Engineering and Physical Sciences Research Council, UK.
  Counter Automata: Verification and Synthesis, 2014-2017. GBP 242,000.

• Principal Investigator: Engineering and Physical Sciences Research Council, UK.
  Graph-Theoretic Algorithms for Separation Logic, 2012-2014. GBP 196,000.

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

• Co-Investigator (with PI Daniel Kroening): Engineering and Physical Sciences Research Council, UK.
  Verification of Shared-Memory Concurrent Software, 2009-2013. GBP 560,000.

• Principal Investigator, Leadership Fellowship: Engineering and Physical Sciences Research Council, UK.
  Quantitative Verification: From Model Checking to Model Measuring, 2009-2014. GBP 1,019,000.

• Principal Investigator (with co-Is Andrzej Murawski and James Worrell): Engineering and Physical Sciences Research Council, UK.
  Automated Verification of Probabilistic Programs, 2009-2011. GBP 360,000.

• Co-Investigator (with PI Bob Coecke): Engineering and Physical Sciences Research Council, UK.
  Complexity and Decidability in Unconventional Computational Models, 2008-2011. GBP 180,000.

• Principal Investigator: Engineering and Physical Sciences Research Council, UK.
  Model-Checking Algorithms for Timed Systems, 2007-2011. GBP 135,000.

• Co-Investigator (with PI Bill Roscoe and Co-I Gavin Lowe): Engineering and Physical Sciences Research Council, UK.
  CSP Model Checking: New Technology and Techniques, 2007-2011. GBP 715,000.

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