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
Personal website: http://pit-claudel.fr/clement/
Research interests: Proof assistants, extensible compilers, programming languages, hardware design languages, optimization, databases, and type theory
|SLE 2020||Untangling Mechanized Proofs|
|Show activities from other conferences|
View general profile