Skip to content

Coq development team

Théo Zimmermann edited this page Jan 8, 2020 · 7 revisions

Coordinator of the development team

  • Matthieu Sozeau (@mattam82), Inria, Nantes, France [up-to-date as of 2019-12-17]:

    • member of the code of conduct enforcement team

    • worked previously on / expertise on: typeclasses, Program, universe polymorphism

    • currently working on: the Equations plugin, MetaCoq

    • current students:

      • Antoine Allioux (PhD student): opetopes and homotopy type theory

      • Théo Winterhalter (PhD student): meta-theory of type theories

Core developers

  • Yves Bertot (@ybertot), Inria, Sophia-Antipolis, France [up-to-date as of ?]:

    • chairman of the Coq consortium

    • worked previously on / expertise on:

    • currently working on: advancing the Coq consortium

  • Maxime Dénès (@maximedenes), Inria, Sophia-Antipolis, France [up-to-date as of ?]:

    • engineer of the Coq consortium
  • Emilio Gallego (@ejgallego), Inria, Paris, France [up-to-date as of ?]:

  • Gaëtan Gilbert (@SkySkimmer), Inria, Nantes, France [up-to-date as of ?]:

    • worked previously on / expertise on: SProp
  • Hugo Herbelin (@herbelin), Inria, Paris, France [up-to-date as of ?]:

    • former coordinator of the development team

    • current students:

      • Félix Castro (PhD student):

      • Hugo Moeneclaey (PhD student):

  • Vincent Laporte (@vbgl), Inria

  • Guillaume Melquiond (@silene), Inria, Saclay, France [up-to-date as of ?]:

  • Pierre-Marie Pédrot (@ppedrot), Inria, Nantes, France [up-to-date as of ?]:

  • Enrico Tassi (@gares), Inria, Sophia-Antipolis, France [up-to-date as of ?]:

  • Théo Zimmermann (@Zimmi48), Inria, Paris, France [up-to-date as of 2020-01-08]:

    • member of the code of conduct enforcement team

    • currently a maintainer of: the build system (Dune), the compat infrastructure, the contributing process documentation and settings, development tools, the user documentation, the .nix files, the Windows packaging scripts.

    • currently working on: software engineering aspects of the Coq development, coqbot, coq-community, improving the user documentation, the Coq platform.

    • website: https://www.theozimmermann.net/

Active maintainers (of components within the Coq code base)

  • Frédéric Besson (@fajb)

  • Cyril Cohen (@CohenCyril), Inria, Sophia-Antipolis, France [up-to-date as of 2020-01-08]

  • Pierre Corbineau (@PierreCorbineau)

  • Pierre Courtieu (@Matafou), CNAM, Paris, France [up-to-date as of 2020-01-08]

  • Jim Fehrle (@jfehrle)

  • Julien Forest (@forestjulien)

  • Georges Gonthier (@ggonthier), Inria, Saclay, France [up-to-date as of 2020-01-08]

  • Benjamin Grégoire (@bgregoir)

  • Jason Gross (@JasonGross), MIT, Cambridge, MA, USA [up-to-date as of 2020-01-08]

  • Assia Mahboubi (@amahboubi), Inria, Nantes, France [up-to-date as of 2020-01-08]

  • Clément Pit-Claudel (@cpitclaudel), MIT, Cambridge, MA, USA [up-to-date as of 2020-01-08]

  • Kazuhiko Sakaguchi (@pi8027)

  • Vincent Semeria (@VincentSe)

  • Michael Soegtrop (@MSoegtropIMC), Apple, Munich, Germany [up-to-date as of 2020-01-08]

  • Arnaud Spiwack (@aspiwack), Tweag.io, Paris, France [up-to-date as of 2020-01-08]

  • Laurent Théry (@thery), Inria, Sophia-Antipolis, France [up-to-date as of 2020-01-08]

  • Anton Trunov (@anton-trunov), Zilliqa Research, Saint Petersburg, Russia [up-to-date as of 2020-01-08]

  • Xia Li-yao (@Lysxia), University of Pennsylvania, Philadelphia, PA, USA [up-to-date as of 2020-01-08]

Active contributors (to Coq and related projects)

  • Karl Palmskog (@palmskog), KTH, Stockholm, Sweden

Past contributors

Clone this wiki locally
You can’t perform that action at this time.