Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > JOURDAN Jacques-Henri
About LRI
Mr JOURDAN Jacques-Henri
JOURDAN Chargé de Recherche CNRS
CNRS
Verification of Algorithms, Languages and Systems

Tel : 0169156735
Fax :
Office : 63/PCRI-S

Personal web page : https://jhjourdan.mketjh.fr/
Email : Jacques-Henri.Jourdan@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Deductive Verification of Programs

Publications







Software & Patents
   - Iris: A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.