About
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.
0Publications listed
Find Mathieu Hoyrup elsewhere
Related Searches
You Might Also Like
Hugo FéréeInria · Lecturer
Irène MarcoviciNational Institute of Applied Sciences of Rouen · Professor
Akitoshi KawamuraKyoto University · Associate Professor
Mathieu LagrangeTélécom Paris · Researcher
Frank Christian StephanNational University of Singapore · Professor
Laurie C MurphySchloss Dagstuhl - Leibniz Center for Informatics · Researcher