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