projets en cours:
- HQI [Christophe Vuillot]
- ANR PRCE SoftQPro: Solutions logicielles pour l’optimisation des programmes et ressources quantiques [Atos-Bull, LORIA, CEA, LRI] (2017-2021) [Simon Perdrix]
- EPIQ (PEPR Quantique 3.2 EPIQ – Quantum Software – Etude de la Pile Quantique)
- NISQ2LSQ (voir description)
- projet européen NEASQC
- H2020 MSCA-RISE CID – Computing with Infinite Data. (2017-2023) [Mathieu Hoyrup]
- MURENE (action exploratoire INRIA) [Nazim Fatès]
- projet européen HPCQS [Simon Perdrix]
- projet STIC AmSud QAPLA (Quantum aspects of programming languages) [2021 – 2022]: Argentine/Chile/France/Uruguay.
MOCQUA fait partie des équipes associées :
- TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs ;
- QASAR : Quantum Architectures, Small and Reliable.
MOCQUA fait partie du défi EQIP.
anciens projets :
- 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]
