Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > JOURDAN Jacques-Henri
Présentation
M. JOURDAN Jacques-Henri
JOURDAN Chargé de Recherche CNRS
CNRS
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169156735
Fax :
Bureau : 70/PCRI-S

Page personnelle : https://jhjourdan.mketjh.fr/
Courrier électronique : Jacques-Henri.Jourdan@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Vérification déductive de programmes

Publications







Logiciels et brevets
   - Iris : Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq