SPLASH 2023 (series) / Clément Pit-Claudel

Registered user since Mon 4 Jan 2016
Name:Clément Pit-Claudel
Bio:
I’m a senior applied scientist at Amazon AWS, soon to join EPFL as an assistant professor. Previously, I was a PhD candidate at MIT with Adam Chlipala. 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. I work on end-to-end verified compilation pipelines from high-level specifications to assembly language, verified compilers and fast simulation for rule-based hardware design languages with EHRs, and Coq tooling.
Country:United States
Affiliation:EPFL / AWS
Personal website:https://pit-claudel.fr/clement/
Twitter:https://twitter.com/cpitclaudel
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory
Contributions
SPLASH 2023 | Committee Member in Reviewers within the Student Research Competition-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile