Current
- 2025: Dutch NWO SUMMIT — Expanding the Limits of Quantum Computing with Automated Reasoning (xqLIMITS) (co-PI)
- 2023: Dutch NWO QuantumTech — Boosting the Search for New Quantum Algorithms with AI (BoostQA) (PI)
- 2023: Dutch NWO NWA-ORC — Divide & Quantum (PI of the consortium)
- 2022: EU Horizon Europe — Efficient QUantum ALgorithms for IndusTrY (EQUALITY) (WP lead)
- EU H2020 — NExt Applications of Quantum Computing (NEASQC) (Use-case lead)
- Dutch NWO Veni — Parallelism in Depth (PI)
- Austrian FWF — Lise Meitner (PI)