Matthieu Sozeau is an Inria researcher and the current coordinator of the Coq project.
Matthieu’s research focuses on type theory, dependently-typed programming and constructive logic, as well as interactive proof assistants.
Matthieu received his MS and Ph.D. from the Université Paris Diderot and Université de Paris-Sud, France.
Programming with Dependent Types, Tuesday Jan 7, 9:30 AM – 11:00 AM / 11:30 AM – 13:00 PM
Dependent Elimination, Wednesday Jan 8, 9:30 AM – 11:00 AM
AM – 11:00 AM / 11:30 AM – 13:00 PM
Personal website : https://www.irif.fr/~sozeau/