Clément Pit-Claudel

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he heads the SYSTEMF lab. Previously, he was a PhD candidate at MIT under Adam Chlipala and a Senior Applied Scientist at Amazon AWS.

His research focuses on programming languages, compilers, and formal verification, with broader interests in systems engineering, hardware design languages, security, performance engineering, and type theory. Key research areas include extensible compilation, hardware design languages verification, and tooling for proof assistants.

Recent publications span topics like JavaScript regular expression verification (ICFP 2024), relational compilation (PLDI 2024), and foundational integration verification for cryptographic servers (PLDI 2024).

Scientific Awards:

• Distinguished Artifact, ACM SIGPLAN International Conference on Software Language Engineering (2020)
• William A. Martin Memorial Thesis Award for Outstanding Thesis in Computer Science, MIT (2016)
• Frederick C. Hennie III Teaching Award, MIT (2016)

As an educator, he teaches Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. His teaching philosophy emphasizes hands-on learning, oral examinations, and project-based assignments that lead to tangible artifacts.

The SYSTEMF lab focuses on building small, fast, and completely verified systems components through machine-checked proofs, hardware-software co-design, low-level compiler engineering, and theorem prover tooling.