SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Clément Pit-Claudel

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
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile