Olivier Nicole

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.

Latest posts