conf.researchr.org / Jacques-Henri Jourdan
![Jacques-Henri Jourdan](https://conf.researchr.org/getProfileImage/jacqueshenrijourdan/4214e3a4-2811-4db8-8ecb-7d4aeb554543/small.jpg?1711463534000)
Registered user since Tue 6 Sep 2016
Name:Jacques-Henri Jourdan
Country:France
Affiliation:CNR, LMF
Personal website: https://jhjourdan.mketjh.fr/
GitHub: https://github.com/jhjourdan
Research interests:Verification, Rust, Coq proof assistant
Contributions
2024
2021
2020
ICFP
2019
2018
POPL
- Author of Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic. within the TutorialFest-track
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track