Mathieu Hoyrup
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:
- recursion theory
- computable analysis
- algorithmic randomness
- dynamical systems, ergodic theory
- probability
- logic
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