Clément Pit-Claudel
Scholar

Clément Pit-Claudel

Google Scholar ID: kMj6fBwAAAAJ
EPFL
Programming languagesVerificationCompilersHardwareSystems
Citations & Impact
All-time
Citations
603
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
35
list available
Resume (English only)
Research Experience
  • Currently an assistant professor at EPFL, heading the SYSTEMF lab. Previously, a senior applied scientist at Amazon AWS.
Education
  • PhD candidate at MIT with Adam Chlipala as advisor.
Background
  • Research focuses on programming languages, compilers, and formal verification; broader interests include systems engineering, hardware design languages, security, performance engineering, and type theory.
Miscellany
  • Personal website provides more detailed information about research projects and contact information (e.g., GitHub, email).