CNRS researcher
Équipe de logique, IMJ-PRG, Paris
Email: ludovic.patey@computability.fr
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.
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.
New! A English version of the Computability Theory book is under preparation.
New! I started working on another book on Lowness and Avoidance.
You can visualize various computability zoos here.