Louis-Emile Ploix

lowRISC

Biography

Louis-Emile is a current undergraduate at the University of Oxford, and a formal verification engineer for lowRISC working on the COSMIC project.

Louis-Emile Ploix

CHERI Talks

COSMIC verification: comprehensive, end-to-end formal proofs of CVA6-CHERI | CHERI Blossoms 2026

26/03/2026

Cambridge, UK