معرفی
Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts.
Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure.
His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives, and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection.
Major Scientific Awards:
- Distinguished Artifact Award (CAV 2025)
- Best Tool Paper Award (ESOP 2024)
- ACM SIGSAC Dissertation Award (2021)
- A.G. Milnes Dissertation Award (2021)
He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.
