Christine Paulin-Mohring - Curriculum Vitae#

Christine Paulin-Mohring is a Professor at Université Paris-Sud 11 since 1997. She obtained her PhD in 1989 from Université Paris 7, working under the supervision of Gérard Huet at INRIA Rocquencourt and Ecole Normale Supérieure on the early version of the Calculus of Constructions. She spent 8 years as a CNRS Researcher at Ecole Normale Supérieure in Lyon, where she contributed to the development of the Coq proof assistant especially on the aspects concerning inductive definitions and program extraction. She lead the research group ProVal (INRIA Saclay - Île-de-France, Université Paris-Sud and CNRS) until 2011, working on the use of proof technologies for developing correct programs. Her recent work includes the development of a Coq library ALEA to reason on randomized programs. She advised 15 PhD students.

She obtained a doctorate honoris causa from University of Goteborg in 2011. She is one of the recipients of the ACM Software System Award in 2013 for the Coq proof assistant. C. Paulin-Mohring is a member of the steering committee of the conference ITP on Interactive Theorem Proving and an editor of the Journal of Formalized Reasoning.

She has several responsibilities at the national and local level: she is a member of the scientific council of the national network (GDR) on Software engineering and programming, she is the scientific coordinator of the excellence laboratory "DigiCosme", a major project, funded for 8 years, gathering 14 laboratories in Computer Science and Communication in the Paris area. She was in charge of the doctoral school in computer science for University Paris-Sud from 2005 to 2012 and since then is in charge of the coordination of the 19 doctoral schools of the university.