Clément Pit-Claudel

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware.

• PhD in Computer Science from MIT (2016)
• William A. Martin Memorial Thesis Award recipient
• Former Senior Applied Scientist at Amazon AWS
• Teaching accolades including the Frederick C. Hennie III Teaching Award

Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis.

Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification.

Scientific contributions recognized through:

• Distinguished artifact award (SLE 2020)
• MIT William A. Martin Thesis Award
• Frederick C. Hennie III Teaching Award

Teaching philosophy emphasizes hands-on lab instruction, oral assessment, and automated tooling. Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.