Registered user since Mon 4 Jan 2016
Name: Clément Pit-Claudel
Bio: I’m a grad student at MIT, working in Adam Chlipala’s lab to create tools to make software more reliable. My research focuses on proof assistants, compilers, and programming languages, and my broader interests include databases, optimization, type theory, and linguistics.
Affiliation: MIT CSAIL
Personal website: http://pit-claudel.fr/clement/
Research interests: Verification
POPL 2016 Activities
View general profile