P. E. Allen Soumitra Bose Edmund M. Clarke Nevin Heintze Joxan Jaffar Niels Jørgensen David E. Long Kim Marriott Iván Ordóñez Frank Pfenning Bill Pippin Peter J. Stuckey Roland H. C. Yap