Name Affiliation
Aaron Tomb Galois
Brad Chamberlain Cray Inc.
Eric Walkingshaw Oregon State University
Gail Murphy UBC
Leonardo de Moura MSR
Michal Young UO
Preston Briggs Reservoir Labs
toddm@microsoft.com MSR
Vinod Grover Nvidia
Wolfram Schulte Facebook
Zachary Tatlock chair University of Washington