Members · Iris / tutorial-popl18 · GitLab

Project members

Members can be added by project Maintainers or Owners

Members of tutorial-popl18 8

Derek Dreyer @dreyer · Iris
Given access Jan 24, 2019

Maintainer
Hai Dang @haidang · Iris
Given access Oct 31, 2018

Owner
Jacques-Henri Jourdan @jjourdan · Iris
Given access Oct 31, 2018

Maintainer
Janno @janno · Iris
Given access Oct 31, 2018

Maintainer
Ralf Jung @jung · Iris
Given access Oct 31, 2018

Owner
Robbert @robbertkrebbers · Iris
Given access Oct 31, 2018

Maintainer
Rodolphe Lepigre @lepigre
Given access Jan 24, 2019

Developer
iris-dev @iris-dev · Iris
Given access Mar 03, 2019

Maintainer