Alexandra Silva (PI)
University College London
Paul Brunet
University College London
Steffen Smolka
Cornell University
Justin Hsu
University of Wisconsin-Madison
Fredrik Dahlqvist
Univeristy College London
Tobias Kappé
University College London
Collaborators
Gerco van Heerdt
University College London
Matteo Sammartino
University College London
Stefan Zetzsche
University College London
Nate Foster
Cornell University
Dexter Kozen
Cornell University
Joshua Moerman
Radboud University Nijmegen
Tiago Ferreira
University College London
Loris D'Antoni
University of Wisconsin-Madison
Elvira Albert
Complutense University of Madrid
Albert Rubio
Universitat Politècnica de Catalunya - BarcelonaTech