Nicolas Tabareau is an Inria permanent researcher and head of the Gallinette team.
Nicolas’s research focuses on homotopy type theory and category theory.
Nicolas received his Ph.D. from the Université Paris Diderot, France.
Talk : Homotopy Type Theory, Thursday Jan 9, 9:30 AM – 11:00 PM / 11:30 AM – 13:00 PM
Personal website : https://www.tabareau.fr