Mathieu Hoyrup

picture 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:

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