Husam Abu-Haimed Clark W. Barrett Saddek Bensalem Armin Biere Sérgio Vale Aguiar Campos Jacob Chang Edmund M. Clarke David L. Dill Vijay Ganesh Dilian Gurov Somesh Jha Bruce M. Kapron Yassine Lakhnech Will Marrero Sam Owre Adrian Perrig Nikolay V. Shilov Dawn Xiaodong Song Yunshan Zhu