Edmund M. Clarke
Fore Professor of Computer Science
Computer Science Department
Carnegie Mellon University
Bruce H. Krogh
ECE Department
Carnegie Mellon University
Christopher James Langmead
Computer Science Department
Carnegie Mellon University
A P Sistla
Computer Science Department
University of Illinois at Chicago
Xuandong Li
Dean Computer Science Department
Nanjing University
Sriram K. Rajamani
Microsoft Research Bangalore
Shengbing Jiang
GM Research