Aurèle Barrière

aurele.barriere@epfl.ch https://aurele-barriere.github.io/

EPFL > IC > IINFCOM > SYSTEMF

Web site:  Web site:  https://systemf.epfl.ch/

EPFL > VPA-AVP-PGE > AVP-PGE-EDOC > EDIC-ENS

vCard
Administrative data

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!