About me

my face

I am Basile Pesin, currently an associate professor at ENAC, and part of the Interactive Informatics Team. I am interested in programming languages, compilers and proof assistants. In particular, I currently focus on extending the scope and applicability of formal verification of compilers. I also enjoy working on various subjects, such as functional, embedded or logic programming. Because computers aren't everything, I also take some time for rock-climbing, baking and reading.

Teaching

Between 2020 and 2023, I have taught at Sorbonne Université (in french): In 2024, I have taught at Université Grenoble-Alpes (in french also):

Publications

Talks

Software

Contact

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