Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MARCHÉ Claude
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr MARCHÉ Claude
MARCHÉ Directeur de Recherche 2
INRIA
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~marche/
Email : Claude.Marche@lri.fr

Research activities
   - Automated Proof, SMT and Applications
   - Formalisation and Proof of Numerical Programs
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Deductive Verification of Programs

Publications

Joint Inria project teams
   - Toccata



Leadership positions
   - Chair of the Digiteo Program Committee
   - Joint Inria project team Head
   - Representative of teh direction

Principle investigator
   - CIFRE Dassault Aviation
   - CIFRE/N.Rousset
   - CeProMi
   - FVOOS
   - U3CAT
   - HI-LITE
   - AIRBUS - SPECIFICATION ALT-ERGO
   - CIFRE ADACORE
   - CONVENTION D'ENSEIGNEMENT CATHER


Software & Patents
   - Caduceus: Caduceus Tool for C Program Verification
   - Krakatoa: Krakatoa Tool for Java Program Verification
   - CiME: CiME: a tool box for automated deduction.
   - Frama-C: Framework for Modular Analysis of C

Collaborations
   - 

Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Preuves mécanisées de propriétés de programmes
Ph.D   - 

Contracts & Grants
   - PFC
   - CAT
   - CIFRE Dassault Aviation
   - HISSEO
   - Bware
   - VERASCO