Write a Blog >>
Arthur Charguéraud

Registered user since Thu 11 Jun 2015

Name:Arthur Charguéraud

I am a full-time researcher at Inria. I am based in Saclay, in the Toccata team, also part of the VALS team. I am also involved in the DeepSea project at Inria Paris. My research interests span from programming languages to mechanized proofs.


CoqPL 2016 Program Chair in Organizing Committee
Program Chair in Program Committee within the CoqPL-track
CPP 2016 Higher-order Representation Predicates in Separation Logic
Show activities from other conferences

POPL 2016-profile
View general profile