Welcome to the MOCQUA research team!
The MOCQUA team is interested in emerging computational models, including:
- Quantum computing
- Higher-order computation
- Dynamical systems and computation with infinite precision
MOCQUA is a member of the associate teams :
- TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs;
- QASAR : Quantum Architectures, Small and Reliable.
Read the INRIA activity report of the team.
