Prathima Agrawal Vishwani D. Agrawal P. E. Allen Edmund M. Clarke Vijay Gangaram David E. Long Spiro Michaylov Amit Nandi Thomas G. Szymanski