En d’autres langues : en eo

Accueil

Olivier Nicole

Je suis doctorant au CEA List et à l’ENS en région parisienne. Je travaille sur la preuve de sécurité des noyaux à partir du binaire, sous la supervision de Matthieu Lemerre et Xavier Rival.

Je m’intéresse aussi à la programmation fonctionnelle, aux systèmes de types et aux systèmes logiques.

Publications

Enseignement

2019–2020

2018–2019

Projets personnels