Christine Paulin-Mohring#


Christine Paulin-Mohring
Email:christine.paulin 'at' lri.fr
Membership Number:3793
Membership type:ORDINARY
Main Country of Residence:FRANCE
Section:INFORMATICS
Username:cpaulin-mohring
Homepage: http://www.lri.fr/~paulin





Present and Previous Positions
  • 1997 - now professor, University Paris-Sud
  • 2006 - 2008 secondment INRIA Futurs/Saclay Île-de-France
  • 1989 - 1997 researcher CNRS, ENS Lyon
  • 1985 - 1989 assistant professor, ENS Paris
  • 1982 - 1985 student ENS Jeunes Filles

Fields of Scholarship
  • Program verification
  • Type theory
  • Interactive theorem proving
  • Logic
  • Formal methods

Honours and Awards
  • Recipient of the ACM Software System award 2013 for the Coq proof assistant
  • Doctor Honoris Causa, University of Goteborg, 2011

Imprint Privacy policy « This page (revision-7) was last updated on Thursday, 14. August 2014, 10:04 by Kaiser Dana
  • operated by