Leonardo de Moura     Microsoft
Robert Harper     Carnegie Mellon University
Jason Hickey     California Institute of Technology
Rustan Leino     Microsoft
Sorin Lerner     University of California San Diego
Pete Manolios     Northeastern University
Tim Sheard     Portland State University
Christian Urban     TU Munich
Stephanie Weirich     University of Pennsylvania