Olivier Nicole

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.

Latest posts