I am interested in logic and security, and more precisely proof theory, fixed points, proof search, modal logics, automated deduction, concurrency, equivalence verification, privacy.
Hey, look: a Squirrel (prover)! 🌰
I will defend my habilitation on February 10th! More details…
Currently co-advising the PhD of Solène Moreau.
🥬 Fall into a salade loop? 🥗