top of page
Workshop Co-Chairs​
-
Omri Isac, The Hebrew University of Jerusalem
-
Guy Katz, The Hebrew University of Jerusalem
-
Nina Narodytska, VMware Research
​
Program Committee
​
-
Clark Barrett, Stanford University
-
Chih-Hong Cheng, Denso Automotive Deutschland GmbH
-
Suman Jana, Columbia University
-
Susmit Jha, SRI
-
Ekaterina Komendantskaya, Heriot-Watt University
-
Alessio Lomuscio, Imperial College London
-
Corina Pasareanu, CMU, NASA, KBR
-
Luca Pulina, University of Sassari
-
Gagandeep Singh, VMware Research and UIUC
-
Armando Tacchella, Università di Genova
-
Hoang-Dung Tran, University of Nebraska-Lincoln
-
Aleksandar Zeljic, Stanford University
-
Min Zhang, East China Normal University
-
Yuhao Zhang, University of Wisconsin-Madison
-
Zhen Zhang, Utah State University
bottom of page