Main page

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.