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 Students

Chiplunkar Shardul Aniruddha, Guan Yawen,

Courses

Software construction

(Coursebook not yet approved by the section)

Interactive theorem proving

(Coursebook not yet approved by the section)

Interactive Theorem Proving CS

(Coursebook not yet approved by the section)