Mathieu Hoyrup

Address: LORIA - B216
615, rue du jardin botanique
54500 Villers-lès-Nancy
France
email: Mathieu.Hoyrup_at_loria.fr

---

I am INRIA researcher (CRCN) in the Inria team Mocqua, at LORIA.

My research interests:

• computability theory
• computable analysis
• algorithmic randomness
• topology
• dynamical systems, ergodic theory
• probability
• logic

---

PhD Students

• Hugo Férée, 2011-2014
• Djamel Eddine Amir, 2020-2023
• Rémi Pallen, 2024-
• Alexis Terrassin, 2024-

---

Organization of conferences, workshops, seminars

Frontiers in Algorithmic Topology: Classification, Reducibility, and Dimension, BIRS seminar, Chennai (2027)

Journées du GT Calculabilités du GDR IM, Nancy (2022)

Descriptive Set Theory and Computable Topology, Dagstuhl seminar (2021)

Continuity, Computability, Constructivity - From Logic to Algorithms (CCC), Nancy (2017)

Computability and Complexity in Analysis (CCA), Nancy (2013)

Algorithmic Randomness and Analysis, Nancy (2013)

Journées Calculabilités, Nancy (2013)