Alexandra Silva (PI)
Cornell University
Tiago Ferreira
University College London
Leo Henry
University College London
Wojciech Rozowski
University College London
Mateo Torres-Ruiz
University College London
Todd Schmid
University College London
William Smith
University College London
Jana Wagemaker
Radboud University Nijmegen
Stefan Zetzsche
University College London
Collaborators
Dexter Kozen
Cornell University
Nate Foster
Cornell University
Loris D'Antoni
University of Wisconsin-Madison