Olivier Nicole

I am a PhD student at CEA List and ENS in Paris, working on the verification of safety properties on binary executables, under the supervision of Matthieu Lemerre and Xavier Rival.

I'm also interested in functional programming, type systems and logic.

My name is pronounced ɔ.li'vje ni'kol, but “Oliver” with the usual English pronunciation is also fine.

Latest posts