Program Committee – Design and Verification Track

Track Chair: Abhik Roychoudhury, National University of Singapore

Petru Eles, Linkoping University, Sweden
Rajesh Gupta, University of California San Diego, USA
X. Sharon Hu, University of Notre Dame, USA
Marta Kwiatkowska, University of Oxford, UK
Rupak Majumdar, MPI, Germany
Frank Mueller, North Carolina State University, USA
Peter Puschner, Vienna University of Technology, Austria
Zili Shao, Hong Kong Polytechnic University, China
Y.N. Srikant, Indian Institute of Science, India
Lothar Thiele, ETH Zurich, Switzerland
Yi Wang, Uppsala University, Sweden