This page will not be updated anymore => my new page is there



I am currently a Post-doctoral researcher working under the supervision of Gilles Barthe at the MPI-SP (Max-Planck Institute for Security and Privacy) in Bochum, Germany. I am working on various areas of computer security, often by applying symbolic techniques borrowed from logic and related fields to different aspects of cryptography.

Research Interests

  • Formal methods
  • Security protocols
  • Cryptography



  • Post-doc at MPI-SP Bochum, Germany (2020 – now)
  • PhD student at INRIA Nancy Grand-Est, France (2017 – 2020)
  • 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