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.