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

My research interests:

PhD Students


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.