Curriculum Vitæ
Pdf version.
Matthieu Sozeau
8 rue Jean Poulain
44300 Nantes
(+33) 6 88 36 74 27
Projects and Grants

  • Coordinator of the Coq development team since 2016 and major contributor to Coq since 2005.
  • Lead developer of the Coq Equations plugin and the MetaCoq project.
  • Member of the CertiCoq project, led by Andrew Appel at Princeton University.
  • ERC Starting Grant CoqHoTT led by Nicolas Tabareau (Inria Rennes, École des Mines de Nantes), 2015-2020. Collaborator.
Jobs, visits and internships

  • Since December 2019:
    INRIA Nantes, Gallinette team -
    Researcher (CRCN).
  • 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.
  • October 2010 - December 2019:
    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 of
    Christine Paulin-Mohring

  • 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.



International Conferences

International Workshops

National Conferences


Research Reports


Manuals and Tutorials

Invited Talks and Seminars


  • Music: Guitar, Bass and Drums.
  • Dance: Forró and Lindy-Hop
Valid XHTML 1.1! Valid CSS!