Pierre-Louis Curien est directeur de recherche au CNRS. Ancien élève de l’Ecole Normale Supérieure, et après des études de mathématiques, il a fondé en 1999 le laboratoire Preuves, Programmes et Sytèmes (CNRS et Université Paris Diderot), et dirige maintenant au sein de ce laboratoire une équipe commune INRIA (nommée pi;r2) qui pilote le développement du logiciel Coq et mène des études théoriques autour de ce logiciel.