In September 2021,
I have moved to ENS Rennes
This page will eventually move there.
I am interested in logic and security,
and more precisely
a Squirrel (prover)!
In 2022, I am co-chair of the LFMTP workshop
(a satellite of FSCD, part of FLOC),
PC member for PPDP,
and lecturer at the MOVEP
and Cyber in Nancy
summer schools. Please consider participating!
I have defended my habilitation in February 2021.
I have served for
LFMTP 2021 and
Full list of publications
Happy to have co-advised the PhDs of
Amina Doumane and
and Sequoia (2014).