| Thorsten Altenkirch |
University of Nottingham |
| Nada Amin |
EPFL |
| Gilles Barthe |
IMDEA Software Institute |
| Mark Batty |
University of Kent |
| Lars Birkedal |
Aarhus University |
| Pavol Cerny |
University of Colorado Boulder |
| James Cheney |
University of Edinburgh |
| Koen Claessen |
Chalmers University of Technology |
| William Cook |
University of Texas Austin |
| Karl Crary |
Carnegie Mellon University |
| Loris D'Antoni |
University of Wisconsin Madison |
| Mila Dalla Preda |
University of Verona |
| Isil Dillig |
University of Texas Austin |
| Sophia Drossopoulou |
Imperial College London |
| Constantin Enea |
Université Paris Diderot |
| Azadeh Farzan |
University of Toronto |
| Xinyu Feng |
University of Science and Technology of China |
| Atsushi Igarashi |
Kyoto University |
| Laura Kovacs |
Vienna University of Technology, Austria |
| Neel Krishnaswami |
University of Cambridge |
| Sorin Lerner |
University of California, San Diego |
| Xavier Leroy |
Inria |
| Conor McBride |
University of Strathclyde |
| Mira Mezini |
Technische Universität Darmstadt |
| Matthew Might |
The White House |
| Peter Müller |
ETH Zurich |
| Andrew Myers chair |
Cornell University |
| Santosh Nagarakatte |
Rutgers University |
| Aleksandar Nanevski |
IMDEA Software Institute |
| Klaus Ostermann |
University of Tuebingen |
| Ruzica Piskac |
Yale University |
| Nadia Polikarpova |
MIT CSAIL |
| Zvonimir Rakamaric |
University of Utah |
| Aseem Rastogi |
Microsoft Research |
| Grigore Rosu |
University of Illinois Urbana–Champaign |
| Andrey Rybalchenko |
Microsoft Research |
| Amr Sabry |
Indiana University |
| David Sands |
Chalmers University of Technology |
| Davide Sangiorgi |
University of Bologna and INRIA |
| Peter Sewell |
University of Cambridge |
| Zhong Shao |
Yale University |
| Yannis Smaragdakis |
University of Athens |
| Zhendong Su |
UC Davis |
| Éric Tanter |
University of Chile |
| Zachary Tatlock |
University of Washington |
| Tachio Terauchi |
Waseda University |
| Viktor Vafeiadis |
Max Planck Institute for Software Systems |
| Philip Wadler |
University of Edinburgh |
| David Walker |
Princeton University |
| Stephanie Weirich |
University of Pennsylvania |
| Jean Yang |
Carnegie Mellon University |
| Danfeng Zhang |
Penn State University |