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.
You can contact me by e-mail at firstname.lastname@mpi-sp.org, where firstname = jeremy and lastname = thibault.