Aymeric Fromherz

photo.jpg Hi! I'm currently a researcher in the Prosecco Team at Inria Paris.

My research focuses on how to design and build secure systems through the use of formal methods. My recent projects revolve around the verification of Rust programs using the Aeneas toolchain, development of verified, high-performance cryptographic primitives, as well as the application of formal methods to computational legal texts implemented in the Catala language.

Previously, I was a PhD student in Cylab at Carnegie Mellon University, coadvised by Bryan Parno and Corina Pasareanu, and a member of the Everest Project. Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.

Contact

My email address is firstname [dot] lastname [at] inria [dot] fr

You can find my CV here.

Publications

Preprints

Technical Reports

Misc.

On my free time, I enjoy dancing and playing the piano for Scottish Country dancers. In the past, I wrote several dances and tunes for the Paris Branch.