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
CH-1015 Lausanne

+41 21 693 56 05
Office:  INN 316
EPFL > IC > IINFCOM > SYSTEMF

EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
CH-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
CH-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 Students

Chiplunkar Shardul Aniruddha, Guan Yawen,

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 CS

A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!