I am an M2 student in Computer Science at ENSTA ParisTech (France). My interests include functional programming, metaprogramming and analysis of binary executables.
These days, I am an intern at CEA List, where I work on formal verification of programs from their binary code.
You can follow me on Mastodon, where I talk mostly about functional programming, type systems and proof.
- Typed and modular macros for OCaml - January 6, 2017