Program committee



Name Affiliation
Mithun Acharya ABB Corporate Research
Yan Cai Chinese Academy of Sciences
Corina Pasareanu NASA Ames Research Center
Alex Groce Northern Arizona University
Shaukat Ali Simula Research Lab
Hong-Linh Truong TU Wien
Mohammad Mousavi University of Leicester
Mats Heimdahl University of Minnesota
Stephen McCamant University of Minnesota
Phil McMinn University of Sheffield
Chao Wang University of Southern California
Terragni Valerio Università della Svizzera Italiana