# 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

- Mathematics S1: Elementary logic. L1 level, CRI Paris (12 h)
- Mathematics S2: Linear algebra. L1 level, CRI Paris (12 h)

### 2019–2020

- Éléments de programmation (Elements of Programming) — LU1IN001. L1 level, Sorbonne Université (19 h)
- Programmation en C (C Programming) — PRC05. L3 level, École d'ingénieurs Denis Diderot, Université Paris 7 (27 h)

### 2018–2019

- Systèmes d'exploitations (Operating Systems) — IN201. M1 level, ENSTA Paris (15 h)

## Personal projects

- I am implementing mathematics typesetting into the SILE typesetter.
- haskell-chess: a ridiculously simple and incomplete chess engine in Haskell. May be completed some day.
- spino: an attempt to encode the logical structure of Spinoza’s “Ethics” in the proof language Agda. The work is based on Jarrett, The logical structure of Spinoza's Ethics, Part I.