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.

News

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