xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Clément Pit-Claudel

Registered user since Mon 4 Jan 2016

Name:Clément Pit-Claudel
Bio:

I’m a PhD candidate at MIT, working in Adam Chlipala’s lab. My research focuses on proof assistants, extensible compilers, and programming languages; my broader interests include hardware design languages, optimization, 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.
And I’m applying for faculty positions this year!

Country:United States
Affiliation:MIT CSAIL
Research interests:Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory

Contributions

SLE 2020 Untangling Mechanized Proofs
Show activities from other conferences

SPLASH 2020-profile
View general profile