Committees

Program Chairs

• Guy Avni (University of Haifa)
• Mirco Giacobbe (University of Birmingham)
• Taylor T. Johnson (Vanderbilt University)
• Guy Katz (Hebrew University of Jerusalem)
• Anna Lukina (Delft University of Technology)
• Nina Narodytska (VMware Research)
• Christian Schilling (Aalborg University)

Program Committee

• Alessandro Abate (University of Oxford)
• Guy Amir (Hebrew University of Jerusalem)
• Stanley Bak (Stony Brook University)
• Clark Barrett (Stanford University)
• Roderick Bloem (Graz University of Technology)
• Chih-Hong Cheng (Chalmers University of Technology)
• Dana Drachsler-Cohen (Technion)
• Thomas Henzinger (Institute of Science and Technology Austria)
• Omri Isac (Hebrew University of Jerusalem)
• Suman Jana (Columbia University)
• Ekaterina Komendantskaya (Heriot-Watt University)
• Martin Lange (University of Kassel)
• Ravi Mangal (Carnegie Mellon University)
• Nina Narodytska (VMware Research)
• Daniel Neider (Technical University of Dortmund)
• Corina Păsăreanu (Carnegie Mellon University, NASA, KBR)
• Guillermo Pérez (University of Antwerp)
• Luca Pulina (University of Sassari)
• Christian Schilling (Aalborg University)
• Gagandeep Singh (UIUC and VMware Research)
• Paulius Stankaitis (Newcastle University)
• Armando Tacchella (Università di Genova)
• Hoang Dung Tran (University of Nebraska-Lincoln)
• Abhinav Verma (Pennsylvania State University)
• Haoze Wu (Stanford University)
• Kaidi Xu (Drexel University)
• Zhen Zhang (Utah State University)
• Yuhao Zhang (University of Wisconsin-Madison)
• Min Zhang (East China Normal University)
• Shufang Zhu (University of Oxford)