Name Affiliation
Aws Albarghouthi University of Wisconsin-Madison
Jade Alglave Microsoft Research Cambridge and University College London
Rajeev Alur University of Pennsylvania
Christel Baier Technische Universität Dresden
Clark Barrett New York University
Roderick Bloem Graz University of Technology
Pavol Cerny University of Colorado, Boulder
Sagar Chaki Software Engineering Institute, Carnegie Mellon University
Swarat Chaudhuri (chair) Rice University
Adam Chlipala MIT
Hana Chockler King’s College London
Alessandro Cimatti Fondazione Bruno Kessler
Byron Cook University College London / Amazon
Deepak D'Souza Indian Institute of Science
Thao Dang CNRS
Cezara Dragoi INRIA
Loris D’Antoni University of Wisconsin, Madison
Constantin Enea Univ. Paris Diderot (Paris 7)
Javier Esparza Technische Universität München
Kousha Etessami University of Edinburgh
Azadeh Farzan (chair) University of Toronto
Pierre Ganty IMDEA
Ganesh Gopalakrishnan University of Utah
Susanne Graf VERIMAG
Orna Grumberg Technion
Arie Gurfinkel Software Engineering Institute, Carnegie Mellon University
Jan Hoffmann Carnegie Mellon University
William Hung Synopsys
Franjo Ivancic Google
Joxan Jaffer National University of Singapore
Somesh Jha University of Wisconsin, Madison
Ranjit Jhala University of California, San Diego
Joost-Pieter Katoen RWTH Aachen University
Zachary Kincaid University of Toronto
Naoki Kobayashi University of Tokyo
Igor Konnov Vienna University of Technology
Laura Kovacs Chalmers University of Technology
Hillel Kugler Bar-Ilan University
Viktor Kuncak EPFL
Marta Kwiatkowska Oxford University
Shuvendu Lahiri Microsoft Research
Akash Lal Microsoft Research
Rupak Majumdar Max Planck Institute for Software Systems
Pete Manolios Northeastern University
Kenneth McMillan Microsoft Research
Sayan Mitra University of Illinois at Urbana Champaign
David Monniaux VERIMAG
Peter Mueller ETH Zurich
Kedar Namjoshi Bell Labs, Alcatel-Lucent
Tim Nelson Brown University
Jan Otop University of Wrocław
David Parker University of Birmingham
Gennaro Parlato University of Southampton
Madhusudan Parthasarathy University of Illinois at Urbana Champaign
Corina Pasareanu Carnegie Mellon Silicon Valley/NASA Ames
Doron Peled Bar Ilan University
Ruzica Piskac Yale University
Andreas Podelski University of Freiburg
Pavithra Prabhakar Kansas State University
Shaz Qadeer Microsoft Research
Arjun Radhakrishna University of Pennsylvania
Zvonimir Rakamaric University of Utah
Andrey Rybalchenko Microsoft Research
Mooly Sagiv Tel Aviv University
Sriram Sankaranarayanan University of Colorado, Boulder
Sanjit Seshia University of California, Berkeley
Natasha Sharygina University of Lugano
Sharon Shoham Academic College of Tel-Aviv Yaffo
Nishant Sinha IBM Research, Bangalore
Ana Sokolova University of Salzburg
Armando Solar-Lezama MIT
Fabio Somenzi University of Colorado, Boulder
Serdar Tasiran Koç University
Viktor Vafeiadis Max Planck Institute for Software Systems
Martin Vechev ETH Zurich
Willem Visser Stellenbosch University
Mahesh Viswanathan University of Illinois, Urbana-Champaign
Tomas Vojnar Brno University of Technology
Thomas Wahl Northeastern University
Bow-Yaw Wang Academia Sinica
Thomas Wies New York University
Eran Yahav Technion
Karen Yorav IBM Haifa Research Lab
Lenore Zuck University of Illinois, Chicago
Florian Zuleger Vienna University of Technology