People
Johan Bos(project leader)
Valerio Basile(PhD student)
Johannes Bjerva(PhD student)
Kilian Evang(PhD student)
Noortje Venhuizen(PhD student)
Jaap Nanninga(student assistant)
Collaborators
Grzegorz Chrupala (Saarland University/ Tilburg University)
Harm Brouwer (University of Groningen)
Malvina Nissim (University of Bologna)
Adam Wyner (University of Liverpool)