Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MARCHÉ Claude
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. MARCHÉ Claude
MARCHÉ Directeur de Recherche 2
INRIA
Vérification d'Algorithmes, Langages et Systèmes

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

Page personnelle : http://www.lri.fr/~marche/
Courrier électronique : Claude.Marche@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications
   - Formalisation et preuves de programmes numériques
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Vérification déductive de programmes

Publications

Projets
   - Toccata




Responsabilités administratives
   - Président du Comité des Programmes de Digiteo
   - Responsable équipe-projet Inria commune
   - Chargé de mission auprès de la direction

Responsabilités de contrats
   - CIFRE DASSAULT
   - GEMALTO
   - CeProMi
   - FVOOS
   - U3CAT
   - HI-LITE
   - AIRBUS - SPECIFICATION ALT-ERGO
   - CIFRE ADACORE
   - CONVENTION D'ENSEIGNEMENT CATHER


Logiciels et brevets
   - Caduceus : Outil Caduceus de vérification de programmes C
   - Krakatoa : Outil Krakatoa de vérification de programmes Java
   - CiME : CiME: une boîte à outils pour la démonstration automatique.
   - Frama-C : Framework for Modular Analysis of C

Collaborations
   - AdaCore SAS

Thèses et habilitations
Habilitation à diriger des recherches   - Preuves mécanisées de propriétés de programmes
Doctorat   - 

Participations à des contrats
   - PFC
   - CAT
   - CIFRE DASSAULT
   - HISSEO
   - Bware
   - VERASCO