Robert K. Cunningham
University of Pittsburgh
Committee Chair

Zach Tudor
Idaho National Laboratory
Vice Chair

Jeremy Epstein
National Science Foundation

Joe Kiniry
Galois/Free & Fair

June Andronick
Proofcraft/seL4 Foundation/UNSW

Martine Kalke
MIT Lincoln Laboratory

Riana Pfefferkorn
Stanford Internet Observatory

Sean Peisert
Lawrence Berkeley National Lab /
University of California, Davis

Tim Ellis
SRI International