Alex Aiken
(Stanford University)
Alessandro Cimatti
(Istituto per la Ricerca Scientifica e Tecnologica (IRST))
Edmund M. Clarke
(Carnegie-Mellon University)
Carla Gomes
(Cornell University)
Orna Grumberg
(Technion - Israel Institute of Technology)
Aarti Gupta
(NEC Research Institute)
Daniel Kroening
(Eidgenössische TH Zürich-Zentrum)
Shuvendu Lahiri
(Carnegie-Mellon University)
Sharad Malik
(Princeton University)
Ken McMillan
(Berkeley College of Engineering)
Robert Nieuwenhuis
(Polytechnical University of Cataluña (Barcelona))
Ofer Strichman
(Technion - Israel Institute of Technology)