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)