Clément Pit-Claudel
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
+41 21 693 56 05
Office:
INN 316
EPFL › IC › IINFCOM › SYSTEMF
Website: https://systemf.epfl.ch/
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
+41 21 693 56 05
Office:
INN 316
EPFL › IC › IC-SSC › SSC-ENS
Website: https://ssc.epfl.ch
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
+41 21 693 56 05
Office:
INN 316
EPFL › IC › IC-SIN › SIN-ENS
Website: https://sin.epfl.ch
Teaching & PhD
PhD Students
Can Cebeci, Shardul Chiplunkar, Victor Yuefan Deng, Yawen Guan, Kacper Korban, Katarzyna Marek, Alexandre Pinazza
Courses
Interactive Theorem Proving Project
CS-642
A project-focused introduction to interactive theorem proving.
Interactive theorem proving
CS-428
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!
Software construction
CS-214
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstraction, encapsulation, composition, proofs)