Graduated PhD Student at Inria Paris (2018-08 to 2020-04) then at MPI-SP (2020-05 to 2025-08): Scalable Proof Techniques for Formally Secure Compilation of Compartmentalized Programs
Research Internship at Inria, 2015-03 to 2015-08:
Micro-F* in F*
[MSc Student at ENS Paris and MPRI]
[Then MSc student at LMFI]
[Then PhD Student at École Polytechnique]
[Then PostDoc at Institut de Mathématiques de Marseille (I2M)]
[Then PostDoc at LIS at Aix-Marseille Université]
[MSc Student at NTU Athens]
[Then MPRI MSc student]
[Then PhD student at Princeton University]
[Then PostDoc at University of Wisconsin-Madison]
[Now Senior Applied Scientist at Amazon Web Services (AWS)]