Other languages: fr eo

Home

Olivier Nicole

I am a PhD student at CEA List and ENS in Paris, working on the verification of security properties on kernels, 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.

Publications

Teaching

2020–2021

2019–2020

2018–2019

Personal projects