Mathieu Hoyrup

picture address: LORIA - B248
615, rue du jardin botanique
BP 239
54506 Vandœuvre-lès-Nancy
France
e-mail: Mathieu.Hoyrup_at_loria.fr

I am INRIA researcher in the team Carte, 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