| Yu-Fang Chen |
Academia Sinica |
| Chandrakana Nandi |
Certora Inc. |
| Ronghui Gu |
Columbia University |
| Clément Pit-Claudel |
EPFL |
| Woosuk Lee |
Hanyang University |
| John Wickerson |
Imperial College London |
| Nuno P. Lopes |
INESC-ID / Instituto Superior Técnico, University of Lisbon |
| Jieung Kim |
Inha University |
| Matthieu Sozeau |
Inria |
| Jeehoon Kang |
KAIST |
| Jihyeok Park |
Korea University |
| Kohei Suenaga |
Kyoto University |
| Ralf Jung |
Massachusetts Institute of Technology |
| Hongjin Liang |
Nanjing University |
| Ichiro Hasuo |
National Institute of Informatics |
| Danfeng Zhang |
Pennsylvania State University |
| Robbert Krebbers |
Radboud University Nijmegen |
| Tarmo Uustalu |
Reykjavik University |
| Chung-Kil Hur chair |
Seoul National University |
| Doug Lea |
State University of New York (SUNY) Oswego |
| Ori Lahav |
Tel Aviv University |
| Soham Chakraborty |
TU Delft |
| Liam O'Connor |
University of Edinburgh |
| Ohad Kammar |
University of Edinburgh |
| Bruno Oliveira |
University of Hong Kong |