Name Affiliation
Aws Albarghouthi University of Wisconsin
Christel Baier TU Dresden
Ayca Balkan UCLA
Stephanie Balzer CMU
Per Bjesse Synopsys
Jasmin Blanchette Inria Nancy - Grand Est
Sergiy Bogomolov Australian National University
James Bornholt University of Washington
Ahmed Bouajjani IRIF, University Paris Diderot & CNRS
Rohit Chadha University of Missouri
Bor-Yuh Evan Chang University of Colorado Boulder
Swarat Chaudhuri Rice University
Wei-Ngan Chin National University of Singapore
Hana Chockler King's College London
Alessandro Cimatti Fondazione Bruno Kessler
Simon Cruanes INRIA Nancy
Matthias Dangl LMU Munich
Isil Dillig University of Texas at Austin
Dino Distefano Facebook and Queen Mary University of London
Marko Doko MPI-SWS
Michael Emmi Nokia Bell Labs
Javier Esparza TU Munich
Georgios Fainekos Arizona State University
Chuchu Fan UIUC
Azadeh Farzan University of Toronto
Pietro Ferrara Julia
Aarti Gupta Princeton University
Johannes Hoelzl TU Munich
Gerard Holzmann Nimble Research
Marieke Huisman University of Twente
Lars Hupel TU Munich
Radu Iosif Verimag
Franjo Ivancic Google
Swen Jacobs Saarland University
Moa Johansson Chalmers
Dejan Jovanovic SRI
Ralf Jung MPI-SWS
Stefan Kiefer Oxford University
Zachary Kincaid Princeton University
Barbara König University of Duisburg-Essen
Daniel Kröning Oxford University
Viktor Kuncak (chair) EPFL
Ivan Kuraj MIT
Rustan Leino Microsoft Research
Andreas Lochbihler ETH Zurich
Rupak Majumdar (chair) MPI-SWS
Kenneth McMillan Microsoft Research
Jose Morales IMDEA
Alexander Nadel Intel
Van Chan Ngo CMU
Madhusudan Parthasarathy University of Illinois at Urbana-Champaign
Corina Pasareanu NASA Ames
Zvonimir Pavlinovic NYU
Nadia Polikarpova MIT
Pavithra Prabhakar Kansas State University
Markus Rabe UC Berkeley
Arjun Radhakrishna University of Pennsylvania
Mukund Raghothaman University of Pennsylvania
Zvonimir Rakamaric University of Utah
Andrew Reynolds University of Iowa
Nima Roohi University of Illinois Urbana-Champaign
Andrey Rybalchenko Microsoft Research
Roopsha Samanta Purdue University
Christian Schilling U of Freiburg
Rahul Sharma Microsoft Research
Anna Slobodova Centaur Technology
Ana Sokolova University of Salzburg
Zhendong Su University of California at Davis
Serdar Tasiran Amazon Web Services
Emina Torlak University of Washington
Muralidaran Vijayaraghavan MIT
Willem Visser Stellenbosch University
Mahesh Viswanathan University of Illinois at Urbana Champaign
Yakir Vizel Princeton University
Nicolas Voirol EPFL
Tomas Vojnar Brno University of Technology
Thomas Wahl Northeastern University
Bow-Yaw Wang Academia Sinica
Georg Weissenbacher Vienna University of Technology
Verena Wolf Saarland University
Lenore Zuck University of Illinois at Chicago
Damien Zufferey MPI-SWS