WELCOME
I am a french student at Computer Science department of École Normale Supérieure d'Ulm (Paris, France), doing my Master. My interests domains are programming languages theory, formal models and proof checkers. Here is my CV.
I am currently doing an internship with Zhong Shao at Yale University in New Haven (United States) : more.