Welcome on my website.
I am currently a first year PhD student in the
Celtique team. My supervisors are
David Cachera and
David Pichardie . My current primary line of work is concerned with proof of concurrent linearizable objects, and in particular through the use of rely/guarantee Hoare-style logics. We formalize our works in the
Coq proof assistant.
I previously studied at the ENS Rennes, a prestigious french public institution of higher education and research, which notably led me to perform various internships both in France and abroad. You can find on this website my
curriculum vitae (
here on pdf) and a
description of my studies.