Laboratoire Sp�cification et V�rification (original) (raw)
News
In September 2021, I have moved to ENS Rennes and IRISA, team SPICY. I am in the process of populating my new web page there.
Research
I am interested in logic and security, and more preciselyproof theory,fixed points,proof search,modal logics,automated deduction,concurrency,equivalence verification,privacy.
Hey, look: a Squirrel (prover)! 🌰
Events
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.More details…
I have served forLFMTP 2021 and2020,CiSS 2019,EPIT 2018, POPL 2017,Dale Fest, …
Papers
Students
Happy to have co-advised the PhDs ofSolène Moreau,Anthony Lick,Amina Doumane andLucca Hirschi.