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/
POPL 2016 Activities
View general profile