Members · Iris / Tutorial POPL18 · GitLab

Project members

Members can be added by project Maintainers or Owners

Members of Tutorial POPL18 9

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
Michael Sammler @msammler · Iris
Given access Mar 06, 2020

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