Christine Paulin-Mohring#
| Membership Number: | 3793 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2014 |
| Main Country of Residence: | FRANCE |
| Homepage(s): | 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
