From the 13th of February 2021, I am no longer a PhD student at INRIA and not working in computer science research anymore. My main result is the formalisation in Coq of the repaired C/C++11 memory model which you can find here.

I was a PhD student at INRIA Cambium team for two years under the supervision of Luc Maranget and Jean-Marie Madiot.

We were trying to find a generic condition on axiomatic memory models that would imply the strong DRF-SC guarantee. We were aiming to prove this generic condition correct in the Coq proof assistant.

Publications