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