Mathieu Hoyrup

Mathieu Hoyrup is a permanent researcher (Chargé de Recherche) at Inria, affiliated with the Mocqua team at the LORIA research center in Nancy, France. His research bridges mathematical logic, computability theory, and dynamical systems through the lens of computable analysis and algorithmic randomness.

• Research Interests: Recursion theory, computable analysis, algorithmic randomness, ergodic theory, and dynamical systems.
• Advising: Supervised PhD students Hugo Férée, Djamel Eddine Amir, Alexis Terrassin, and Rémi Pallen.
• Academic Service: Organized the Computability and Complexity in Analysis conferences (2013–2022) and the Continuity, Computability, Constructivity (CCC 2017).
• Education: PhD in Mathematics from Université Paris Diderot (2008); Habilitation à diriger des recherches (2021) on topological aspects of representations in computable analysis.