![Clément Pit-Claudel](https://pldi25.sigplan.org/getProfileImage/clementpitclaudel/4a4c3ccf-6680-4f0b-a87f-056c4d081fc2/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
Using general profile