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 leads since 2012 the Labex Digicosme a laboratory of excellence in the field of computer science and communication, involving research teams in 14 different laboratories which are part of the Université Paris-Saclay.
She was the director of the doctoral School of informatics at Université Paris-Sud from 2005 to 2012 and since then she is leading the “Collège des Ecoles Doctorales” of Université Paris-Sud.
This document was translated from LATEX by HEVEA.