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
The team is a member of the associate team TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs.