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.

Teaching

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

Publications

Talks

Contact

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