Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > PAULIN-MOHRING Christine
About LRI
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 :
Email :

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
   - TYPES

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