I am currently a PhD student working under the supervision of Steve Kremer and Vincent Cheval, working among other things on the DeepSec prover. You can find information on my research and teaching throughout this webpage.

Research Interests

  • Formal methods
  • Security protocols
  • Side-channel attacks


  • PhD student at INRIA Nancy Grand-Est, France (2017 – now)
  • Internship at Microsoft Research Cambridge, England (2019)
  • Pre-doctoral internship at IMDEA Software Institue, Spain (2016 – 2017)
  • Master of computer science at ENS Cachan, France (2014 – 2016)

Some presentations