Organisation

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 DesaiAWS CA
Eric KoskinenStevens Institute of Technology
Burcu Kulahcioglu OzkanTU Delft
Marijana LazicTU Munich
Matteo SammartinoRoyal Holloway University of London

Program Committee

Aarti GuptaPrinceton University
Abhishek BichhawatIIT Gandhinagar
Aditya ThakurUC Davis
Ahmed BouajjaniUniversity of Paris
Aina NiemetzStanford
Alan J. HuUniversity of British Columbia
Alessandro CimattiFBK
Alexander NadelIntel and Technion
Anastasia MavridouNASA Ames
Andreas PodelskiFreiburg
Ankush DesaiAmazon
Anna SlobodovaIntel
Anthony W. LinTU Kaiserslautern
Arie GurfinkelUniversity of Waterloo
Arjun RadhakrishnaMicrosoft 
Aws AlbarghouthiUW Madison
Azadeh FarzanToronto University
Bernd FinkbeinerCISPA Saarbrücken
Bettina KoenighoferGraz University of Technology
Bor-Yuh Evan ChangU Colorado Boulder, Amazon
Burcu Kulahcioglu OzkanDelft University of Technology
Caterina UrbanINRIA
Cezara DragoiENS, Amazon
Christoph MathejaTU Denmark
Claudia CauliAWS
Corina PasareanuCMU
Cristina DavidUniversity of Bristol
Dirk BeyerLMU Munich
Elizabeth PolgreenUniversity of Edinburgh
Elvira AlbertComplutense University of Spain
Eunsuk KangCarnegie Mellon University
Faouzi AtigUppsala University
Gennaro ParlatoUniversity of Molise
Hossein HojjatTehran Institute for Advanced Studies
Ichiro HasuoNational Institute of Informatics Tokyo
Isil DilligUniversity of Texas
Javier EsparzaTechnical University Munich 
Joost-Pieter KatoenRWTH Aachen University
Juneyoung LeeAWS
Jyotirmoy DeshmukhUSC
Ken McMillanUT Austin
Kristin Yvonne RozierIowa State University
Kshitij BansalMeta
Kuldeep MeelNUS
Kyungmin BaePohang University of Science and Technology
Marcell Vazquez-ChanlatteAlliance Innovation Lab (Nissan-Renault-Mitsubishi)
Marieke HuismanUniversity of Twente
Markus RabeGoogle
Marta KwiatkowskaOxford
Matthias HeizmannFreiburg
Michael EmmiAmazon
Mihaela SighireanuENS Cachan
Naijun ZhanChinese Academy of Sciences
Nikolaj BjørnerMicrosoft Research
Nina NarodytskaVmware
Pavithra PrabhakarKansas State University
Pierre GantyIMDEA Software Institute
Rupak MajumdarMPI-SWS
Ruzica PiskacYale University
Sebastian JungesRadboud University, Nijmegen
Sebastien BardinCEA LIST
Serdar TasiranAmazon
Sharon ShohamTel Aviv University
Shaz QadeerMeta
Shuvendu LahiriMicrosoft Research
Sylvie PutotLIX, Ecole polytechnique
Subhajit RoyIIT Kanpur
Suguman BansalU Penn
Swarat ChaudhuriUT Austin
Thomas WahlGrammatech
Tomas VojnarBrno University
Yakir VizelTechnion
Yu-Fang ChenAcademia Sinica, Taiwan
Zhilin WuInstitute of Software, Chinese Academy of Sciences

Artifact Evaluation Committee

Alejandro Hernández-CerezoComplutense University of Madrid
Alvin GeorgeIISc Bangalore
Aman GoelAWS
Amit SamantaUniversity of Utah
Anan KabahaTechnion
Andres NoetzliCubist, Inc.
Anna BecchiFondazione Bruno Kessler
Arnab SharmaUniversity of Oldenburg
Avraham RavivBar Ilan University
Ayrat KhalimovTU Clausthal
Baoluo MengGeneral Electric Research
Benjamin JonesAWS
Bohua ZhanInstitute of Software, Chinese Academy of Sciences
Cayden CodelCarnegie Mellon University
Charles Babu MCEA LIST
Chungha SungAWS
Clara Rodriguez-NúñezUniversidad Complutense de Madrid
Cyrus LiuStevens Institute of Technology
Daniel HausmannUniversity Gothenburg
Daniela KaufmannTU Wien
Debasmita LoharMPI SWS
Deivid ValeRadboud University Nijmegen
Denis MazzucatoInria
Đorđe ŽikelićInstitute of Science and Technology Austria
Ekanshdeep GuptaNew York University
Enrico MagnagoAWS
Ferhat ErataYale University
Filip Cano CordobaGraz University of Technology
Filipe ArrudaUFPE
Florian DorfhuberTechnical University of Munich
Florian SextlTU Wien
Francesco ParoliniSorbonne University
Frédéric RecoulesCEA LIST
Goktug SaatciogluCornell
Goran PiskachevAWS
Grégoire MenguyCEA LIST
Guy AmirThe Hebrew University of Jerusalem
Habeeb PIndian Institute of Science, Bangalore
Hadrien RenaudUCL
Haoze WuStanford University
Hari Govind Vediramana KrishnanUniversity of Waterloo
Hünkar TunçAarhus University
Idan RefaeliHebrew University of Jerusalem
Ignacio D. Lopez-MiguelTU Wien
Ilina StoilkovskaAWS
Ira FesefeldtRWTH Aachen University
Jahid Chowdhury ChotonKansas State University
Jie AnNational Institute of Informatics
John KolesarYale University
Joseph ScottUniversity of Waterloo
Kevin LotzKiel University
Kirby LinvillCU Boulder
Kush GroverTechnical University of Munich
Levente BajcziBudapest University of Technology and Economics
Liangcheng YuUniversity of Pennsylvania
Luke GeesonUCL
Lutz KlinkenbergRWTH Aachen University
Marek ChalupaInstitute of Science and Technology Austria
Mario BucevEPFL
Mário PereiraNOVA LINCS — Nova School of Science and Technology
Marius MikucionisAalborg University
Martin JonášMasaryk University, Czech Republic
Mathias FleuryUniversity Freiburg
Matthias HetzenbergerTU Wien
Maximilian HeisingerJohannes Kepler University Linz
Mertcan TemelIntel Corporation
Michele ChiariTU Wien
Miguel IsabelUniversidad Complutense de Madrid
Mihai NicolaStevens Institute of Technology
Mihály Dobos-KovácsBudapest University of Technology and Economics
Mikael MayerAWS
Mitja KulczynskiKiel University
Muhammad Numair MansurAWS
Muqsit AzeemTechnical University of Munich
Neelanjana PalVanderbilt University
Nicolas KohPrinceton University
Niklas MetzgerCISPA Helmholtz Center for Information Security
Omkar TuppeIIT Bombay
Pablo GordilloComplutense University of Madrid
Pankaj Kumar KalitaIndian Institute of Technology Kanpur
Parisa FathololumiStevens Institute of Technology
Pavel HudecHKUST
Peixin WangUniversity of Oxford
Philippe HeimCISPA Helmholtz Center for Information Security
Pritam GharatMicrosoft
Priyanka DarkeTCS Research
Ranadeep BiswasInformal Systems
Robert RubbensUniversity of Twente
Rubén RubioUniversidad Complutense de Madrid
Samuel JudsonYale University
Samuel PastvaInstitute of Science and Technology Austria
Sankalp GambhirEPFL
Sarbojit DasUppsala University
Sascha KlüppelholzTechnische Universität Dresden, Germany
Sean KauffmanAalborg University
Shaowei ZhuPrinceton University
Shengjian GuoAWS
Simmo SaanUniversity of Tartu, Estonia
Smruti PadhyUniversity of Texas at Austin
Stanly SamuelIndian Institute of Science, Bangalore
Stefan PrangerGraz University of Technology
Stefan ZetzscheAWS
Sumanth PrabhuTCS Research
Sumit LahiriIndian Institute of Technology Kanpur
Sunbeom SoKorea University
Syed M. IqbalAWS
Tobias MeggendorferInstitute of Science and Technology Austria
Tzu-Han HsuMichigan State University
Verya MonjeziThe University of Texas at El Paso
Wei-Lun TsaiAcademia Sinica
William SchultzNortheastern University
Xiao Liang YuNational University of Singapore
Yahui SongNational University of Singapore
Yasharth BajpaiMicrosoft
Ying ShengStanford University
Yuriy BiktairovUniversity of Southern California
Zafer EsenUppsala University

Steering Committee

Orna GrumbergTechnion
Aarti GuptaPrinceton University
Daniel KröningUniversity of Oxford
Ken McMillanUT Austin