Program Chairs

Constantin Enea, Ecole Polytechnique, LIX

Akash Lal, Microsoft Research

Workshop Chair

Mohamed Faouzi Atig

Sponsorship Chairs

Sebastian Bardin, CEA LIST

Ruzica Piskac, Yale University

Fellowship Chair

Eric Koskinen, Stevens Institute of Technology

Website Chair

Srinidhi Nagendra, IRIF, Chennai Mathematical Institute

Artifact Evaluation Chairs

Bernhard Kragl, Amazon Web Services
Daniel Dietsch, Qt Group / University of Freiburg

Verification Mentoring Workshop Organisers

Ankush Desai	AWS CA
Eric Koskinen	Stevens Institute of Technology
Burcu Kulahcioglu Ozkan	TU Delft
Marijana Lazic	TU Munich
Matteo Sammartino	Royal Holloway University of London

Program Committee

Aarti Gupta	Princeton University
Abhishek Bichhawat	IIT Gandhinagar
Aditya Thakur	UC Davis
Ahmed Bouajjani	University of Paris
Aina Niemetz	Stanford
Alan J. Hu	University of British Columbia
Alessandro Cimatti	FBK
Alexander Nadel	Intel and Technion
Anastasia Mavridou	NASA Ames
Andreas Podelski	Freiburg
Ankush Desai	Amazon
Anna Slobodova	Intel
Anthony W. Lin	TU Kaiserslautern
Arie Gurfinkel	University of Waterloo
Arjun Radhakrishna	Microsoft
Aws Albarghouthi	UW Madison
Azadeh Farzan	Toronto University
Bernd Finkbeiner	CISPA Saarbrücken
Bettina Koenighofer	Graz University of Technology
Bor-Yuh Evan Chang	U Colorado Boulder, Amazon
Burcu Kulahcioglu Ozkan	Delft University of Technology
Caterina Urban	INRIA
Cezara Dragoi	ENS, Amazon
Christoph Matheja	TU Denmark
Claudia Cauli	AWS
Corina Pasareanu	CMU
Cristina David	University of Bristol
Dirk Beyer	LMU Munich
Elizabeth Polgreen	University of Edinburgh
Elvira Albert	Complutense University of Spain
Eunsuk Kang	Carnegie Mellon University
Faouzi Atig	Uppsala University
Gennaro Parlato	University of Molise
Hossein Hojjat	Tehran Institute for Advanced Studies
Ichiro Hasuo	National Institute of Informatics Tokyo
Isil Dillig	University of Texas
Javier Esparza	Technical University Munich
Joost-Pieter Katoen	RWTH Aachen University
Juneyoung Lee	AWS
Jyotirmoy Deshmukh	USC
Ken McMillan	UT Austin
Kristin Yvonne Rozier	Iowa State University
Kshitij Bansal	Meta
Kuldeep Meel	NUS
Kyungmin Bae	Pohang University of Science and Technology
Marcell Vazquez-Chanlatte	Alliance Innovation Lab (Nissan-Renault-Mitsubishi)
Marieke Huisman	University of Twente
Markus Rabe	Google
Marta Kwiatkowska	Oxford
Matthias Heizmann	Freiburg
Michael Emmi	Amazon
Mihaela Sighireanu	ENS Cachan
Naijun Zhan	Chinese Academy of Sciences
Nikolaj Bjørner	Microsoft Research
Nina Narodytska	Vmware
Pavithra Prabhakar	Kansas State University
Pierre Ganty	IMDEA Software Institute
Rupak Majumdar	MPI-SWS
Ruzica Piskac	Yale University
Sebastian Junges	Radboud University, Nijmegen
Sebastien Bardin	CEA LIST
Serdar Tasiran	Amazon
Sharon Shoham	Tel Aviv University
Shaz Qadeer	Meta
Shuvendu Lahiri	Microsoft Research
Sylvie Putot	LIX, Ecole polytechnique
Subhajit Roy	IIT Kanpur
Suguman Bansal	U Penn
Swarat Chaudhuri	UT Austin
Thomas Wahl	Grammatech
Tomas Vojnar	Brno University
Yakir Vizel	Technion
Yu-Fang Chen	Academia Sinica, Taiwan
Zhilin Wu	Institute of Software, Chinese Academy of Sciences

Artifact Evaluation Committee

Alejandro Hernández-Cerezo	Complutense University of Madrid
Alvin George	IISc Bangalore
Aman Goel	AWS
Amit Samanta	University of Utah
Anan Kabaha	Technion
Andres Noetzli	Cubist, Inc.
Anna Becchi	Fondazione Bruno Kessler
Arnab Sharma	University of Oldenburg
Avraham Raviv	Bar Ilan University
Ayrat Khalimov	TU Clausthal
Baoluo Meng	General Electric Research
Benjamin Jones	AWS
Bohua Zhan	Institute of Software, Chinese Academy of Sciences
Cayden Codel	Carnegie Mellon University
Charles Babu M	CEA LIST
Chungha Sung	AWS
Clara Rodriguez-Núñez	Universidad Complutense de Madrid
Cyrus Liu	Stevens Institute of Technology
Daniel Hausmann	University Gothenburg
Daniela Kaufmann	TU Wien
Debasmita Lohar	MPI SWS
Deivid Vale	Radboud University Nijmegen
Denis Mazzucato	Inria
Đorđe Žikelić	Institute of Science and Technology Austria
Ekanshdeep Gupta	New York University
Enrico Magnago	AWS
Ferhat Erata	Yale University
Filip Cano Cordoba	Graz University of Technology
Filipe Arruda	UFPE
Florian Dorfhuber	Technical University of Munich
Florian Sextl	TU Wien
Francesco Parolini	Sorbonne University
Frédéric Recoules	CEA LIST
Goktug Saatcioglu	Cornell
Goran Piskachev	AWS
Grégoire Menguy	CEA LIST
Guy Amir	The Hebrew University of Jerusalem
Habeeb P	Indian Institute of Science, Bangalore
Hadrien Renaud	UCL
Haoze Wu	Stanford University
Hari Govind Vediramana Krishnan	University of Waterloo
Hünkar Tunç	Aarhus University
Idan Refaeli	Hebrew University of Jerusalem
Ignacio D. Lopez-Miguel	TU Wien
Ilina Stoilkovska	AWS
Ira Fesefeldt	RWTH Aachen University
Jahid Chowdhury Choton	Kansas State University
Jie An	National Institute of Informatics
John Kolesar	Yale University
Joseph Scott	University of Waterloo
Kevin Lotz	Kiel University
Kirby Linvill	CU Boulder
Kush Grover	Technical University of Munich
Levente Bajczi	Budapest University of Technology and Economics
Liangcheng Yu	University of Pennsylvania
Luke Geeson	UCL
Lutz Klinkenberg	RWTH Aachen University
Marek Chalupa	Institute of Science and Technology Austria
Mario Bucev	EPFL
Mário Pereira	NOVA LINCS — Nova School of Science and Technology
Marius Mikucionis	Aalborg University
Martin Jonáš	Masaryk University, Czech Republic
Mathias Fleury	University Freiburg
Matthias Hetzenberger	TU Wien
Maximilian Heisinger	Johannes Kepler University Linz
Mertcan Temel	Intel Corporation
Michele Chiari	TU Wien
Miguel Isabel	Universidad Complutense de Madrid
Mihai Nicola	Stevens Institute of Technology
Mihály Dobos-Kovács	Budapest University of Technology and Economics
Mikael Mayer	AWS
Mitja Kulczynski	Kiel University
Muhammad Numair Mansur	AWS
Muqsit Azeem	Technical University of Munich
Neelanjana Pal	Vanderbilt University
Nicolas Koh	Princeton University
Niklas Metzger	CISPA Helmholtz Center for Information Security
Omkar Tuppe	IIT Bombay
Pablo Gordillo	Complutense University of Madrid
Pankaj Kumar Kalita	Indian Institute of Technology Kanpur
Parisa Fathololumi	Stevens Institute of Technology
Pavel Hudec	HKUST
Peixin Wang	University of Oxford
Philippe Heim	CISPA Helmholtz Center for Information Security
Pritam Gharat	Microsoft
Priyanka Darke	TCS Research
Ranadeep Biswas	Informal Systems
Robert Rubbens	University of Twente
Rubén Rubio	Universidad Complutense de Madrid
Samuel Judson	Yale University
Samuel Pastva	Institute of Science and Technology Austria
Sankalp Gambhir	EPFL
Sarbojit Das	Uppsala University
Sascha Klüppelholz	Technische Universität Dresden, Germany
Sean Kauffman	Aalborg University
Shaowei Zhu	Princeton University
Shengjian Guo	AWS
Simmo Saan	University of Tartu, Estonia
Smruti Padhy	University of Texas at Austin
Stanly Samuel	Indian Institute of Science, Bangalore
Stefan Pranger	Graz University of Technology
Stefan Zetzsche	AWS
Sumanth Prabhu	TCS Research
Sumit Lahiri	Indian Institute of Technology Kanpur
Sunbeom So	Korea University
Syed M. Iqbal	AWS
Tobias Meggendorfer	Institute of Science and Technology Austria
Tzu-Han Hsu	Michigan State University
Verya Monjezi	The University of Texas at El Paso
Wei-Lun Tsai	Academia Sinica
William Schultz	Northeastern University
Xiao Liang Yu	National University of Singapore
Yahui Song	National University of Singapore
Yasharth Bajpai	Microsoft
Ying Sheng	Stanford University
Yuriy Biktairov	University of Southern California
Zafer Esen	Uppsala University

Steering Committee

Orna Grumberg	Technion
Aarti Gupta	Princeton University
Daniel Kröning	University of Oxford
Ken McMillan	UT Austin