Registered user since Thu 11 Jun 2015
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|
View general profile