I am currently a PhD student in the Formally Verified Security group at Max Planck Institute for Security and Privacy , supervised by Cătălin Hriţcu , on the subject of secure compilation. I used to work in the Prosecco team at Inria Paris .
I am broadly interested in the intersection of programming languages and security. I believe formal verification can be used to make the world a safer and better place.
I am currently focusing my attention on secure compilation, and I am more particularly interested in building secure compilers that can be formally verified to be secure in proof assistants.