En d’autres langues : en eo

Accueil

Olivier Nicole

En journée, je travaille pour Tarides sur le langage OCaml qui est un langage haut niveau à la fois sûr et performant que j'apprécie beaucoup. Je travaille en général sur des logiciels libres ou open source, donc mon ce que je fais en ce moment peut être consulté sur mon profil Github.

Le reste du temps, je lis de la philo ou divers romans (avec un penchant pour la SF), ou je hacke de temps en temps sur un logiciel de typographie.

Avant mon emploi actuel, j'ai préparé et soutenu un doctorat au CEA List et à l’ENS sous la supervision de Matthieu Lemerre et Xavier Rival. Il porte sur l'analyse statique de code bas niveau afin de vérifier la sécurité de noyaux (notamment).

Outre l'analyse statique, je m’intéresse aussi à la programmation fonctionnelle en général, aux systèmes de types et aux systèmes logiques.

Projets personnels

Communications

Publications

Thèse

Vérification automatisée de code système à l’aide d’abstractions mémoire basées sur le typage

Enseignement

2020–2021

2019–2020

2018–2019