Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > CONTEJEAN Evelyne
Présentation
Mme CONTEJEAN Evelyne
Chargé de Recherche CNRS
CNRS
Vérification d'Algorithmes, Langages et Systèmes

Tel : +33 1 69 15 66 07
Fax :
Bureau : 66/PCRI-S

Page personnelle : http://www.lri.fr/~contejea
Courrier électronique : Evelyne.Contejean@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Langages et systèmes centrés données


Projets
   - Toccata




Responsabilités administratives
   - Responsable d'équipe
   - Membre de la commission Logiciel
   - Membre du conseil scientifique

Responsabilités de contrats
   - Datacert
   - PEPTIDE

Résultats majeurs
   - ESOP 2014 : A Coq Formalization of the Relational Data Model

Logiciels et brevets
   - Alt-Ergo : Démonstrateur automatique Alt-Ergo
   - CiME : CiME: une boîte à outils pour la démonstration automatique.
   - Coccinelle : Coccinelle


Thèses et habilitations
Doctorat   - Éléments pour la Décidabilité de l'Unification modulo la Distributivité.
Habilitation à diriger des recherches   - Facettes de la preuve Jeux de reflets entre démonstration automatique et preuve assistée

Participations à des contrats
   - Bware