WELCOME
I am a french student at Computer Science department of École Normale Supérieure d'Ulm (Paris, France), doing an internship with the INRIA's πr² team in Paris for my Master.
My interests domains are programming languages theory, formal models and proof checkers. Here is my CV.