Biography
Louis-Emile is a current undergraduate at the University of Oxford, and a formal verification engineer for lowRISC working on the COSMIC project.
CHERI Talks
- COSMIC verification: comprehensive, end-to-end formal proofs of CVA6-CHERI | CHERI Blossoms 2026 — 26/03/2026, Cambridge, UK