I am a PhD student at CEA List (France), working on the verification of binary executables. I'm also interested in functional programming, type systems and logic.
Aside from work, I like various types of socially valorized activities and outdoor sports that are considered popular and cool… nah, just kidding, I'm a nerd.
- Typed and modular macros for OCaml - January 6, 2017
- IN201 — Systèmes d'exploitations (Operating Systems), ENSTA ParisTech, 2018–2019 (15 h)