Registered user since Mon 18 Apr 2016

Name: Matthieu Sozeau

Country: France

Affiliation: Inria

Personal website: http://www.pps.univ-paris-diderot.fr/~sozeau/

Research interests: Type Theory, Proof Assistants, Functional Programming, Unification

POPL 2017 Activities

• Author of Equations: a tool for dependent pattern-matching within the TTT-track in TTT 2017
• Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track in CPP 2017
• Session Chair of Afternoon Session (part of CoqPL 2017)
• Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track in CoqPL 2017
• Committee Member in Program Committee for CoqPL 2017
• Author of Session with the Coq Development Team within the CoqPL 2017-track in CoqPL 2017
• Show activities from other conferences