Welcome to my personnal website ! I am currently in third year at ENS de Rennes, in preparation for the agrétation in computer science.
My resume is available
here.
Main main research insterest is formal methods, mostly applied to proof of protocols.
Personnal projects (Details)
I also participate in some personnal projects, including the typing-speed test
olagem, and the OpenTTD-like game
HexaTTD.
