Rajeev Alur, University of Pennsylvania
Sandeep Neema, Vanderbilt University
George Pappas, University of Pennsylvania
S. Shankar Sastry, University of California, Berkeley
Sanjit Seshia, University of California, Berkeley
Alvaro Velasquez, Defense Advanced Research Projects Agency