 |
 |
Chargé de Recherche CNRS
CNRS
Vérification d'Algorithmes, Langages et Systèmes
Tel : 0169156735
Fax :
Bureau : 63/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
|
