Mathieu Hoyrup
 |
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 :
- calculabilité
- analyse récursive
- aléatoire algorithmique
- systèmes dynamiques, théorie ergodique
- probabilités
- logique
Algorithmic Randomness and Analysis 2013.
Journées Calculabilités 2013.
Séminaire du département Méthodes Formelles du LORIA.
Restaurants à Paris
Restaurants à Nancy