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
Local:   INN 316
EPFL > IC > IINFCOM > SYSTEMF

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

EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne

+41 21 693 56 05
Local:   INN 316
EPFL > IC > IC-SSC > SSC-ENS

Web site:   Site web:   https://ssc.epfl.ch

EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne

+41 21 693 56 05
Local:   INN 316
EPFL > IC > IC-SIN > SIN-ENS

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

vCard
Données administratives

Enseignement & Phd

Enseignement

Computer Science

Communication Systems

Doctorants

Chiplunkar Shardul Aniruddha, Guan Yawen,

Cours

Software construction

(Fiche de cours pas encore validée par la section)

Interactive theorem proving

(Fiche de cours pas encore validée par la section)

Interactive Theorem Proving CS