Here are the projects in which the MOCQUA team is involved:
- ANR PRCE SoftQPro: Solutions logicielles pour l’optimisation des programmes et ressources quantiques [Atos-Bull, LORIA, CEA, LRI] (2017-2021) [Simon Perdrix]
- ANR PRCI (France-Singapour) VanQuTe: Validation des technologies quantiques émergentes [LIP6, LORIA, SUTD, NUS, NTU] (2018-2022) [Simon Perdrix]
- PIA-GDN/Quantex [Atos-Bull, LORIA, LRI, CEA/Leti] (2018-2020) [Simon Perdrix]
- STIC-AmSud project FoQCoSS: Foundations of Quantum Computation: Syntax and Semantics (2016-2017), STIC-AmSud 16-STIC-05. [Simon Perdrix]
- LUE Future Leader [Simon Perdrix]
- H2020 MSCA-RISE CID – Computing with Infinite Data. (2017-2021) [Mathieu Hoyrup]
MOCQUA is a member of the associate team TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs.