About me

my face

I am Basile Pesin, currently a postdoc researcher in computer science at the VERIMAG lab. I am interested in programming languages, compilers and proof assistants. In particular, I am currently working on proving the correctness and efficiency of countermeasures against fault injection, as part of the Chamois-CompCert project. 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