Magdy S. Abadir Jacob A. Abraham Derek L. Beatty Armin Biere Randal E. Bryant Edmund M. Clarke Ramin Hojati James Lear Kedar S. Namjoshi Manish Pandey Yunshan Zhu