Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > CONTEJEAN Evelyne
About LRI
Mrs CONTEJEAN Evelyne
Chargé de Recherche 1
CNRS
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~contejea
Email : Evelyne.Contejean@lri.fr

Research activities
   - Automated Proof, SMT and Applications
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Data-Centric Languages and Systems


Joint Inria project teams
   - Toccata



Leadership positions
   - Research group Head
   - Software committee member
   - Scientific council member

Principle investigator
   - PEPTIDE

Highlights
   - A Coq Formalization of the Relational Data Model

Software & Patents
   - Alt-Ergo: The Alt-Ergo theorem prover
   - CiME: CiME: a tool box for automated deduction.
   - Coccinelle: Coccinelle


Ph.D. dissertations & Faculty habilitations
Ph.D   - Elements for Decidability of Unification modulo Distributivity
Faculty habilitation   - Reflection effects between automated deduction and assisted proof

Contracts & Grants
   - Bware