 |
 |
Professeur classe exceptionnelle
Université Paris-Saclay
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
- Coq : L'assistant de preuve Coq
Thèses et habilitations
Habilitation à diriger des recherches - Définitions Inductives en Théorie des Types d'Ordre Supérieur
|
