Home
>
About LRI
>
Personnel
> CONTEJEAN Evelyne
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mrs CONTEJEAN Evelyne
Directeur de Recherche 2
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
Leadership positions
-
Research group Head
-
Software committee member
-
Scientific council member
Principle investigator
-
Datacert
-
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