Curriculum Vitæ
Pdf version.

Matthieu Sozeau
Adress:
59 rue de la Chine
75020 Paris
France
75020 Paris
France
Phone:
(+33) 6 88 36 74 27
Email:
matthieu.sozeau@inria.fr
.
Website:
http://www.irif.fr/~sozeau
.
Jobs, visits and internships
- June-July 2019:University of Pennsylvania, Philadelphia, PA, USA -Visit of the NSF DeepSpec project.
- September-December 2012:Institute for Advanced Study, Princeton, NJ, USA -Member of the Univalent Foundations program.
- Since October 2010:INRIA Paris, pi.r2 team -Junior Researcher (CRCN).
- March 2009 - September 2010:Harvard University -Postdoctoral Fellow.
- September to December 2008:Paris XI University -Temporary researcher at CNRS.
- 2005-2008:Paris XI University -PhD Thesis funded by the french government.
- 2005-2008:Paris XI University -Teaching assistant position in Computer Science.
- March to September 2005:Paris XI University -Master internship on the development of an environment for programming with dependent types.Under the direction ofChristine Paulin-Mohring.
Projects and Grants
- Major contributor and coordinator (since 2016) of the Coq development team.
- ERC Starting Grant CoqHoTT led by Nicolas Tabareau (Inria Rennes, École des Mines de Nantes), 2015-2020. Collaborator.
Education
- 2009-10:Harvard University-Postdoctoral studies in the Ynot group.Working with Greg Morrisett and his team on Coq and Ynot.
- 2005-08:Paris XI University-PhD in Computer Science.With honors.
- 2004-05:Paris VII University - Denis Diderot-Master of research in Computer Science.Grade A.
- 2003-04:Paris XI University-"Maitrise" of Computer Science.Grade B.
- 2002-03:Paris XI University-Licence in Computer Science.Grade B.
- 2000-02:Orsay's Institute of Technology-University Diploma of Technology in Computer Science.Grade B.