Alilingve: en fr

Hejmo

Olivier Nicole

Tagtempe, mi laboras por la firmo Tarides sur la programlingvo OCaml, kiu estas altnivela lingvo, samtempe sekura kaj malmultekosta je resursoj, kiu mi tre ŝatas. Mi kutime laboras sur liberaj aü malfermitkodaj programaroj, do mia nunaj aferoj videblas en mia Github-profilo.

Cetertempe, mi legas filozofion aü diversaj romanoj (kun ŝatado por la SF), aü mi kelkaütempe kodumas en tipografia programaro.

Antaü mia nuna laborloko, mi preparis kaj subtenis doktora diplomo en CEA List kaj ENS, enkadrate de Matthieu Lemerre kaj Xavier Rival. Ĝi estas pri statika analizado de malaltnivela kodo por kontroli la sekureco de kernoj (inter aliaj).

Krom statika analizado, ankaŭ interesas min la funkcia programado, tipsistemoj kaj logiko.

Mia nomo prononciĝas ɔ.li'vje ni'kol, sed mi ne tro zorgas se vi prononcas ĝin “Oliver” aŭ iel ajn sufiĉe proksime por ke mi komprenu.

Personaj projektoj

Komunikaĵoj

Eldonaĵoj

Doktora disertaĵo

Automated Verification of Systems Code using Type-based Memory Abstractions

Instruado

2020–2021

2019–2020

2018–2019