Welcome to my page!

I'm currently a PhD student (since october 2011), under the supervision of Xavier Rival in the Abstract interpretation and semantics group of Computer Science Department at the École Normale Supérieure. I obtained a master's degree in 2011 from the École Polytechnique.


  • 2014.03.16 : paper "an abstract domain combinator for separately conjoining memory abstractions" submited to SAS14
  • 2013.07.07 : the new website is online!