top of page
Workshop Co-Chairs​
-
Guy Katz, The Hebrew University of Jerusalem
-
Nina Narodytska, VMware Research
​
Program Committee
-
Clark Barrett, Stanford University
-
Chih-Hong Cheng, Fortiss
-
Suman Jana, Columbia University
-
Jean-Baptiste Jeannin, University of Michigan
-
Susmit Jha, SRI
-
Taylor T. Johnson, Vanderbilt University
-
Temesghen Kahsai, Groq Inc.
-
Marta Kwiatkowska, University of Oxford
-
Alessio Lomuscio, Imperial College London
-
Luca Pulina, University of Sassari
-
Armando Solar-Lezama, MIT
-
Martin Vechev, ETH Zurich
bottom of page