Curriculum Vitæ
Pdf version.
Matthieu Sozeau
Adress:
59 rue de la Chine
75020 Paris
France
Phone:
(+33) 6 88 36 74 27
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 of
    Christine 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.
Valid XHTML 1.1! Valid CSS!