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 (CR1) in the Inria team Mocqua, at LORIA.

My research interests:

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

---

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.

Seminar of the department Formal Methods at LORIA.

---

Restaurants in Paris

Restaurants in Nancy