Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PAULIN-MOHRING Christine
About LRI
Mrs PAULIN-MOHRING Christine
PAULIN-MOHRING Professeur classe exceptionnelle
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel : 0169156439
Fax : 0174854229
Office : 74/PCRI-S

Personal web page : http://www.lri.fr/~paulin
Email : Christine.Paulin@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata



Leadership positions
   - Member of the hiring committee
   - Head of the Computer Science Department
   - Coordinator of the Labex DigiCosme
   - Member of the Computer Science Doctoral School council

Principle investigator
   - PFC
   - SCALP
   - GECCOO
   - CIFRE/Y.MOY
   - TYPES
   - DIGICOSME


Software & Patents
   - Krakatoa: Krakatoa Tool for Java Program Verification
   - ALEA: ALEA : A library for reasoning on random algorithms in Coq
   - Coq: The Coq proof assistant


Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Inductive Definitions in Higher-order type theory