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-chairing the LFMTP workshop
(a satellite of FSCD, part of FLOC)
and lecturing at the MOVEP summer
school. 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).