Write a Blog >>
Clément Pit-Claudel

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.

Country: France

Affiliation: MIT CSAIL

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

Research interests: Verification


CoqPL 2016Author of Company-Coq: Taking Proof General one step closer to a real IDE within the CoqPL-track
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile