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, Pinazza Alexandre Christian Urs,

Cours

Software construction

Apprenez à concevoir et à implémenter des logiciels fiables, maintenables et efficaces à l'aide de techniques variées (style déclaratif, fonctions d'ordre supérieur, types inductifs, parallélisme) et de concepts fondamentaux (réutilisabilité, abstraction, encapsulation, composition, preuves)

Interactive theorem proving

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