Jacques-Henri Jourdan - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

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

2023

POPL

Committee Member in Program Committee within the POPL-track

Show activities from other conferences

POPL 2023-profile
View general profile