Ludovic Patey

Doctor in Computer Science
Université Paris Diderot (VII)

Ludovic Patey

Contact

Email: ludovic.patey@computability.fr

About me

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