- Somesh Jha, University of Wisconsin, Madison, USA
- Rajeev Alur, University of Pennsylvania, Philadelphia, USA
- Sanjit Seshia, University of California, Berkeley, USA
- Clark Barrett, Stanford University, Stanford, USA
- Vijay Ganesh, University of Waterloo, Waterloo, Canada