Program committee



Name Affiliation
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