Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PAULIN-MOHRING Christine
Présentation
Mme PAULIN-MOHRING Christine
PAULIN-MOHRING Professeur classe exceptionnelle
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

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

Page personnelle : http://www.lri.fr/~paulin
Courrier électronique : Christine.Paulin@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Vérification déductive de programmes


Projets
   - Toccata




Responsabilités administratives
   - Membre de la CCSU
   - Présidente du département Informatique
   - Responsable du Labex DigiCosme
   - Membre du conseil de l’Ecole Doctorale d’Informatique de Paris-Sud

Responsabilités de contrats
   - PFC
   - SCALP
   - GECCOO
   - CIFRE ATHIS (PAULIN)
   - TYPES
   - DIGICOSME


Logiciels et brevets
   - Krakatoa : Outil Krakatoa de vérification de programmes Java
   - ALEA : ALEA : A library for reasoning on random algorithms in Coq


Thèses et habilitations
Habilitation à diriger des recherches   - Définitions Inductives en Théorie des Types d'Ordre Supérieur