Program committee



NameAffiliation
Alastair DonaldsonImperial College London
Bryan ParnoCarnegie Mellon University
Clément Pit-ClaudelEPFL
Jean-Baptiste Tristan chairAWS ARG
Joseph Tassarotti chairNYU
K Rustan M Leino chairAmazon Web Services
Marie FarrellThe University of Manchester
Seth AhrenbachBeneficial AI Foundation
Stefan Zetzsche chairAmazon Web Services
Tej ChajedUW-Madison