Mathieu Hoyrup

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

---

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

My research interests:

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

---

PhD Students

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

---

Conferences and workshops organized in Nancy

Journées du GT Calculabilités du GDR IM, 2022.

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

Computability and Complexity in Analysis 2014.

Computability and Complexity in Analysis 2013.

Algorithmic Randomness and Analysis 2013.

Journées Calculabilités 2013.