![Clément Pit-Claudel](https://pldi23.sigplan.org/getProfileImage/clementpitclaudel/d64b9e92-f759-4ce4-9758-9a4d1ae44b81/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
PLDI 2023-profile
View general profile
View general profile