Back to Governance

Governance

The governance is ensured by the Project Leader, with the help of the Coordination team, and by the Core team.

Teams

Coordination

The Coordination team is appointed by the Rocq project leader to help coordinate the activities of the other teams, and the project roadmap.

Matthieu Sozeau
Project Leader

mattam82
Yves Bertot
Coordinator

ybertot
Paul-André Melliés
Coordinator

pamellies
Nicolas Tabareau
Coordinator

tabareau
Théo Zimmermann
Coordinator

Zimmi48

Core

The Core team is composed of long-term, significant contributors to the Rocq project.

Dev Meeting

Every Tuesday - 4:00 PM CET (see wiki) Open to all
Notes Meeting Link Calendar Invite
Matthieu Sozeau
Project Leader

mattam82
Jason Gross
Core developer

JasonGross
Hugo Herbelin
Core developer

herbelin
Enrico Tassi
Core developer

gares
Théo Zimmermann
Core developer

Zimmi48
Pierre-Marie Pédrot
Core developer

ppedrot
Nicolas Tabareau
Core developer

tabareau
Guillaume Melquiond
Core developer

silene
Gaëtan Gilbert
Core developer

SkySkimmer
Yves Bertot
Core developer

ybertot
Emilio Jesús Gallego Arias
Core developer

ejgallego
Pierre Roux
Core developer

proux01