APLAS 2023 (series) / Clément Pit-Claudel
![Clément Pit-Claudel](https://conf.researchr.org/getProfileImage/clementpitclaudel/eadb7422-a3c6-4828-9824-5676a1631e56/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
APLAS 2023-profile
View general profile
View general profile