Home

A photo of me with my headphones on

Olivier Nicole

I am a PhD student at CEA List and ENS in Paris, working on the verification of safety properties on binary executables. I'm also interested in functional programming, type systems and logic.

Latest posts

Publications

Teaching