Clément Pit-Claudel
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
Web site: Site web: https://systemf.epfl.ch/
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
Web site: Site web: https://ssc.epfl.ch
EPFL IC IINFCOM SYSTEMF
INN 316 (Bâtiment INN)
Station 14
1015 Lausanne
Web site: Site web: https://sin.epfl.ch
Enseignement & Phd
Enseignement
Computer Science
Communication Systems
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
Une introduction pratique à la preuve de théorème interactive, aux preuves en tant que programmes, aux types dépendants, et à l'assistant de preuve Coq. Venez apprendre à écrire du code sans bug !