Clément Pit-Claudel

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

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

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

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

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

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

vCard
Administrative data

Teaching & PhD

Teaching

Computer Science

Communication Systems

Courses

Software construction

(Coursebook not yet approved by the section)

Interactive theorem proving

(Coursebook not yet approved by the section)