Mathieu Hoyrup

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

Je suis chargé de recherche (CR1) INRIA dans l'équipe Carte, au LORIA.

Mes centres d'intérêt :

Computability and Complexity in Analysis 2014.

Computability and Complexity in Analysis 2013.

Algorithmic Randomness and Analysis 2013.

Journées Calculabilités 2013.

Séminaire du département Méthodes Formelles du LORIA.
Restaurants à Paris

Restaurants à Nancy