Ludovic Levy Patey

CNRS researcher
Équipe de logique, IMJ-PRG, Paris

Ludovic Patey

Contact

Email: ludovic.patey@computability.fr

About me

I did my PhD in Computer Science under the supervision of Hugo Herbelin and Laurent Bienvenu. My main research interests are reverse mathematics, computability theory and proof theory.

You can download my CV and my research statement.

News

New! Benoit Monin and I wrote a book on Computability Theory in French.
It covers
- Classical Computability Theory
- Algorithmic Randomness
- Reverse Mathematics
- Higher Recursion Theory

You can order it here.

You can visualize various computability zoos here.