Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Nicolas Tabareau

Registered user since Fri 25 May 2018

Name:Nicolas Tabareau

Nicolas Tabareau is a junior researcher at Inria, head of the Gallinette team ( He conducts research on programming languages and proof assistants in order to provide better tools for proofs formalization both to computer scientists and mathematicians.

Personal website:
Research interests:proof assistant, (Homotopy) Type Theory, Semantics of Programming Languages, Category theory


CPP 2019 Eliminating Reflection from Type Theory
POPL 2019 Session Chair of Categories (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Definitional Proof-Irrelevance without K
Show activities from other conferences

POPL 2019-profile
View general profile