Clément Pit-Claudel

photo placeholder image

clement.pit-claudel@epfl.ch +41 21 693 56 05 https://pit-claudel.fr/clement/

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

Web site:  Web site:  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

Web site:  Web site:  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

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

vCard
Administrative data

Teaching & PhD

Teaching

Computer Science

Communication Systems

PhD Programs

PhD Students

Chiplunkar Shardul Aniruddha, Guan Yawen, Pinazza Alexandre Christian Urs,

Courses

Software construction

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)

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!