CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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