Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
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

Personal website: http://pit-claudel.fr/clement/

Twitter: https://twitter.com/cpitclaudel

GitHub: https://github.com/cpitclaudel

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