| Ki-Yung Ahn |
Hannam University |
| Christiaan Baaij |
QBayLogic |
| José Manuel Calderón Trilla |
Galois |
| Benjamin Delaware |
Purdue University |
| Richard Eisenberg chair |
Bryn Mawr College |
| Jennifer Hackett |
University of Nottingham |
| Kazutaka Matsuda |
Tohoku University |
| Trevor McDonell |
University of Utrecht |
| Ivan Perez |
NIA / NASA Formal Methods Group |
| Nadia Polikarpova |
University of California, San Diego |
| Norman Ramsey |
Tufts University |
| Christine Rizkallah |
UNSW Sydney |
| Eric Seidel |
Bloomberg |
| Alejandro Serrano Mena |
University of Utrecht |
| John Wiegley |
Dfinity Foundation |
| Thomas Winant |
Well-Typed LLP |
| Ningning Xie |
University of Hong Kong |