Program committee



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