I am Basile Pesin, a computer science PhD student in ENS Ulm. I am interested in programming languages, compilers and proof assistants. In particular, I am currently working on formalizing the semantics of SCADE-style state machines in the Coq proof assistant, as part of the Velus project. I also enjoy working on various subjects, such as functional or logic programming, or programming embedded devices. Because programming isn't everything, I also take some time for rock-climbing, baking or reading.