Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update the core and coordinators teams #240

Merged
merged 1 commit into from
Mar 7, 2024
Merged

Update the core and coordinators teams #240

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
100 changes: 50 additions & 50 deletions pages/coq-team.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,22 +3,6 @@
<#def WITHOUTSIDEBAR>1</#def>
<#def HEAD>
<style>
.coordinator {
text-align: center;
margin: auto;
display: block;
/* margin: auto; */
}

.coordinator .title {
font-size: 34pt;
height: 50pt;;
}

.coordinator .person {
max-width: 100%;
display: block;
}

.team {
text-align: center;
Expand Down Expand Up @@ -48,7 +32,22 @@
vertical-align: top;
max-width: 500px;
}

.coordinator {
text-align: center;
margin: auto;
display: block;
}

.coordinator .title {
font-size: 34pt;
height: 50pt;;
}

.coordinator .person {
max-width: 100%;
display: block;
}
.picture {
vertical-align: top;
}
Expand Down Expand Up @@ -130,34 +129,42 @@
<#def CONTENT>1</#def>
<#include "incl/header.html">

<div class="coordinator">
<div class="title">Project Coordinator</div>
<div class="person">
<div class="picture"><img src="/files/team/mattam82.png" alt="Matthieu Sozeau" width="170"/></div>
<div class="name"><a href="https://mattam.org">Matthieu Sozeau</a></div><div class="nickname">mattam82</div>
<div class="position">Inria Researcher in the Gallinette Team, Nantes, France</div>
<div class="role">Co-RM: 8.2-8.5</div>
<div class="components">General Maintenance, opam, Theory, Kernel, Elaboration, Unification, Typeclasses, Program, Universes, Equations, MetaCoq</div>
</div>
</div>
<div class="team">
<div class="team-name"><h1>Core Team</h1></div>
<div class="team-name"><h1>Coordinators</h1></div>
<div class="person">
<div class="picture"><img src="/files/team/YvesBertot.png" alt="Yves Bertot" width="200"/></div>
<div class="name"><a href="http://www-sop.inria.fr/members/Yves.Bertot/research.html">Yves Bertot</a></div><div class="nickname">YvesBertot</div>
<div class="position">Inria Researcher, Head of the Stamp Team, Sophia-Antipolis, France</div>
<div class="role">Head of the Coq Consortium</div>
<div class="role">Head of the <a href="https://coq.inria.fr/consortium">Coq Consortium</a> and the <a href="https://www.inria.fr/fr/liberabaci">Liber Abaci</a> project</div>
<div class="components">Coq'Art co-author, Function, Plugin-Tutorial, Documentation,
Mathematical Components</div>
</div>
<div class="person">
<div class="picture"><img src="/files/team/maximedenes.jpg" alt="Maxime Dénès" width="200"/><br/></div>
<div class="name"><a href="https://maximedenes.fr">Maxime Dénès</a></div>
<div class="nickname">maximedenes</div>
<div class="position">Inria Engineer in the Coq Consortium, attached to the Stamp Team, Sophia-Antipolis, France</div>
<div class="role">RM: 8.5, 8.6, 8.7, 8.8, 8.13</div>
<div class="components">General Maintenance, CI, <code>native_compute</code>, Kernel, Unification, VSCoq</div>
</div>
<div class="picture"><img src="/files/team/mattam82.png" alt="Matthieu Sozeau" width="170"/></div>
<div class="name"><a href="https://mattam.org">Matthieu Sozeau</a></div><div class="nickname">mattam82</div>
<div class="position">Inria Researcher in the Gallinette Team, Nantes, France</div>
<div class="role">Co-RM: 8.2-8.5, Coordinator since 2016.</div>
<div class="components">General Maintenance, opam, Theory, Kernel, Elaboration, Unification, Typeclasses, Program, Universes, Equations, MetaCoq</div>
</div>
<div class="person">
<div class="picture">
<img src="/files/team/nicolas-tabareau.jpg" alt="Nicolas Tabareau" width="140"/></div>
<div class="name"><a href="https://tabareau.fr/">Nicolas Tabareau</a></div><div class="nickname">tabareau</div>
<div class="position">Inria Researcher, Head of the Gallinette Team, Nantes, France</div>
<div class="role"><a href="http://coqhott.gforge.inria.fr/">ERC Coq-HoTT PI</a>, Inria-Nomadic Labs CoqExtra</div>
<div class="components">Theory, Universes, SProp</div>
</div>
<div class="person">
<div class="picture"><img src="/files/team/Zimmi48.jpg" alt="Théo Zimmermann" width="200"/></div>
<div class="name"><a href="https://www.theozimmermann.net/en/">Théo Zimmermann</a></div><div class="nickname">Zimmi48</div>
<div class="position">Associate Professor at Télécom Paris, Institut Polytechnique de Paris, France</div>
<div class="role">RM: 8.7, 8.8, 8.12, 8.17, <a href="https://coq-community.org/">coq-community</a> manager</div>
<div class="components">Documentation, Community Management, devtools, <code>coqbot</code>, website</div>
</div>
</div>
<div class="team">
<div class="team-name"><h1>Core Team</h1></div>

<div class="person">
<div class="picture"><img src="/files/team/ejgallego.jpg" alt="Emilio Jesús Gallego Arias" width="220"/></div>
<div class="name"><a href="https://www.irif.fr/~gallego/">Emilio Jesús Gallego Arias</a></div><div class="nickname">ejgallego</div>
Expand Down Expand Up @@ -212,14 +219,6 @@
<div class="position">Researcher at Onera, Toulouse, France</div>
<div class="components">Primitive Types, Notations</div>
</div>
<div class="person">
<div class="picture">
<img src="/files/team/nicolas-tabareau.jpg" alt="Nicolas Tabareau" width="140"/></div>
<div class="name"><a href="https://tabareau.fr/">Nicolas Tabareau</a></div><div class="nickname">tabareau</div>
<div class="position">Inria Researcher, Head of the Gallinette Team, Nantes, France</div>
<div class="role"><a href="http://coqhott.gforge.inria.fr/">ERC Coq-HoTT PI</a>, Inria-Nomadic Labs CoqExtra</div>
<div class="components">Theory, Universes, SProp</div>
</div>
<div class="person">
<div class="picture"><img src="/files/team/gares.jpg" alt="Enrico Tassi" width="230"/><br/></div>
<div class="name"><a href="http://www-sop.inria.fr/members/Enrico.Tassi/">Enrico Tassi</a></div>
Expand All @@ -228,13 +227,6 @@
<div class="role">RM: 8.13</div>
<div class="components">General Maintenance, STM, SSReflect, opam, VSCoq, Mathematical Components, Coq-Elpi, Hierarchy Builder</div>
</div>
<div class="person">
<div class="picture"><img src="/files/team/Zimmi48.jpg" alt="Théo Zimmermann" width="200"/></div>
<div class="name"><a href="https://www.theozimmermann.net/en/">Théo Zimmermann</a></div><div class="nickname">Zimmi48</div>
<div class="position">Associate Professor at Télécom Paris, Institut Polytechnique de Paris, France</div>
<div class="role">RM: 8.7, 8.8, 8.12, 8.17, coq-community manager</div>
<div class="components">Documentation, Community Management, devtools, <code>coqbot</code>, website</div>
</div>
</div>


Expand Down Expand Up @@ -549,6 +541,14 @@
<div class="role">V8</div>
<div class="components">CoqIDE Developer</div>
</div>
<div class="person">
<div class="picture"><img src="/files/team/maximedenes.jpg" alt="Maxime Dénès" width="200"/><br/></div>
<div class="name"><a href="https://maximedenes.fr">Maxime Dénès</a></div>
<div class="nickname">maximedenes</div>
<div class="position">Inria Engineer in the Coq Consortium, attached to the Stamp Team, Sophia-Antipolis, France</div>
<div class="role">RM: 8.5, 8.6, 8.7, 8.8, 8.13</div>
<div class="components">General Maintenance, CI, <code>native_compute</code>, Kernel, Unification, VSCoq</div>
</div>
</div>

<script type="text/javascript" language="javascript">
Expand Down
Loading