Program committee



Name Affiliation
Alejandro Serrano Utrecht University
Liam O'Connor UNSW, Australia
Robert Clifton-Everest UNSW
Amos Robinson (PhD student) UNSW
Michael Gale University of Warwick
Matthew Flatt chair University of Utah
Mark Grebe University of Kansas
Wen Kokke University of Edinburgh
KC Sivaramakrishnan University of Cambridge
David Kaloper-Meršinjak University of Cambridge
Francesco Gavazzo (PhD Student) University of Bologna
Gian Pietro Farina University at Buffalo
Guido Chari Universidad de Buenos Aires. Joining Czech Technical University in Feb.
Gowtham Kaki Student
Robby Findler chair Northwestern
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics
Ivan Perez National Institute of Aerospace
Jacob Stanley Lighthouse Financial Technologies
Victor Lanvin IRIF - Paris Diderot University
Erik de Castro Lopo (industry) IOHK
Théo Winterhalter Inria — LS2N
Martin Avanzini INRIA
Armaël Guéneau Inria
Vikraman Choudhury Indiana University
Chaitanya Koparkar Indiana University
Jesus Dominguez IMDEA Software Institute
Simon Marlow chair Facebook
Fengyun Liu EPFL, Switzerland
Jost Berthold Digital Asset
Tommaso Petrucciani DIBRIS, University of Genova & IRIF, Université Paris Diderot
Thomas Sewell Data61 (formerly NICTA), UNSW
Shrutarshi Basu Cornell University
Jonathan DiLorenzo Cornell University
Marco Vassena Chalmers University of Technology
Kristoffer Andersen (PhD Student) Aarhus University / University College London
Aleš Bizjak Aarhus University