Ludovic Patey

CNRS researcher
Institut Camille Jordan, Lyon

Ludovic Patey



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.

New! You can visualize various computability zoos here.