Clément Pit-Claudel
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
Site web: https://systemf.epfl.ch/
Doctorant·es actuel·les
Alexandre Pinazza, Shardul Chiplunkar, Yawen Guan, Kacper Korban
Cours
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 !
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)