I am a PhD student at CEA
List and ENS in Paris, working on the
verification of safety properties on binary executables. I'm also interested in
functional programming, type systems and logic.
Modular Macros (Poster/Demo Talk) (pdf)
Olivier Nicole, Leo White and Jeremy Yallop
- IN201 — Systèmes d'exploitations (Operating Systems), ENSTA ParisTech,
2018–2019 (15 h)