I am interested in logic and security, and more precisely proof theory, fixed points, proof search, modal logics, automated deduction, concurrency, equivalence verification, privacy.
I will defend my habilitation on February 10th! More details…
I will serve LFMTP 2021 and have served LFMTP 2020, CiSS 2019, EPIT 2018, POPL 2017, Dale Fest, …
Currently co-advising the PhD of Solène Moreau.
Happy to have co-advised the PhD of Anthony Lick, Amina Doumane and Lucca Hirschi.
I was also teaching in 2019/20, 18/19, 17/18, 16/17, 15/16, 14/15, 13/14 and 12/13.
Fall into a salade loop?