![Clément Pit-Claudel](https://popl24.sigplan.org/getProfileImage/clementpitclaudel/d039323e-204e-48cd-a04e-fe8aeb02d05d/small.jpg?1717947412000)
Registered user since Mon 4 Jan 2016
Name:Clément Pit-Claudel
Bio:
I’m an assistant professor at EPFL. Previously, I was a PhD candidate at MIT with Adam Chlipala and then a senior applied scientist at Amazon AWS. My research focuses on programming languages, compilers, and formal verification; my broader interests include systems engineering, hardware design languages, security, performance engineering, databases, and type theory.
Country:Switzerland
Affiliation:EPFL
Personal website: https://pit-claudel.fr/clement/
X (Twitter): https://x.com/cpitclaudel
GitHub: https://github.com/cpitclaudel
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory
Contributions
POPL 2024-profile
View general profile
View general profile