Aurèle Barrière
Web site: Web site: https://systemf.epfl.ch/
Teaching & PhD
Courses
Interactive theorem proving
A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write computer-checked proofs and certified bug-free code!