Clément Pit-Claudel

Registered user since Mon 4 Jan 2016

Name:Clément Pit-Claudel

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.

Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory


Show activities from other conferences

POPL 2023-profile
View general profile