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

Bio: 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.

Personal website: http://www.chargueraud.org/

Contributions

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

POPL 2016-profile
View general profile