About me

my face

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.


Since 2020, I've been teaching at Sorbonne Université (in french):




You can reach me by email at basile [DOT] pesin [AT] vertmo [DOT] org