Program committee



Name Affiliation
Zoe Paraskevopoulou Princeton University
Tomer Libal Inria Saclay
Thorsten Tarrach AIT Austrian Institute of Technology
Thibaut Balabonski Université Paris-Sud
Tetsuya Sato Kyoto University
Steven Ramsay University of Oxford
Stephen Chong chair Harvard University
Steffen Smolka Cornell University
Robbert Krebbers Delft University of Technology
Ralf Jung MPI-SWS
Peng Wang MIT CSAIL
Pantazis Deligiannis Microsoft Research
Oded Padon Tel Aviv University
Nick Giannarakis Princeton University
Nadia Polikarpova MIT CSAIL
Matthew Milano Cornell University
Matteo Sammartino University College London
Jean Yang chair Carnegie Mellon University
Heidy Khlaaf University College London
Giselle Reis Carnegie Mellon University
Ezgi Çiçek MPI-SWS
David Christiansen Indiana University
Daniel Winograd-Cort University of Pennsylvania
Damien Pous CNRS, ENS Lyon
Aseem Rastogi Microsoft Research, India
Arthur Azevedo de Amorim University of Pennsylvania
Andrea Vandin IMT School for Advanced Studies Lucca
Aleš Bizjak Aarhus University