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.