Home

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.

You can follow me on Mastodon, where I talk mostly about functional programming, type systems and proof.

Latest posts

Publications