| Aditya Kanade | Indian Institute of Science |
| Alastair Donaldson | Imperial College London |
| Alexandra Silva | University College London |
| Alexey Gotsman | IMDEA |
| Andrej Bauer | University of Ljubljana |
| Andrew Pitts | University of Cambridge |
| Andrew D. Gordon | Microsoft Research and University of Edinburgh |
| Arie Gurfinkel | Software Engineering Institute / Carnegie Mellon University |
| Arjun Guha | University of Massachusetts, Amherst |
| Ashish Tiwari | SRI International |
| Avik Chaudhuri | Facebook |
| Azadeh Farzan | University of Toronto |
| Bor-Yuh Evan Chang | University of Colorado Boulder |
| Boris Köpf | IMDEA Software Institute |
| Brigitte Pientka | McGill University |
| Christoph Kirsch | Universät Salzburg |
| Chung-Kil Hur | Seoul National University |
| Corina Pasareanu | NASA Ames Research Center |
| Daniel Kroening | University of Oxford |
| David Monniaux | CNRS, VERIMAG |
| David Van Horn | University of Maryland, College Park |
| Derek Dreyer | MPI-SWS |
| Elaine Shi | University of Maryland, College Park |
| Emina Torlak | University of Washington |
| Eric Koskinen | Yale University |
| Frank Pfenning | Carnegie Mellon University |
| Frank Piessens | iMinds - Distrinet, KU Leuven |
| Guy Van den Broeck | UCLA |
| Isil Dillig | University of Texas, Austin |
| Jeffrey S. Foster | University of Maryland, College Park |
| Jens Palsberg | University of California, Los Angeles |
| Joxan Jaffar | National University of Singapore |
| K Narayan Kumar | Chennai Mathematical Institute |
| Koushik Sen | University of California, Berkeley |
| Krishnendu Chatterjee | IST Austria |
| Laura Kovacs | Chalmers University of Technology |
| Lindsey Kuper | Intel Labs |
| Loris D'Antoni | University of Pennsylvania |
| Madan Musuvathi | Microsoft Research |
| Manu Sridharan | Samsung Research America |
| Marta Kwiatkowska | University of Oxford |
| Martin Vechev | ETH Zurich |
| Matteo Maffei | Saarland University |
| Maurizio Proietti | IASI-CNR |
| Mayur Naik | Georgia Tech |
| Michael Emmi | IMDEA Software Institute |
| Mohamed Faouzi Atig | Uppsala University |
| Nate Foster | Cornell University |
| Nick Benton | Microsoft Research, Cambridge |
| Patricia Johann | Appalachian State University |
| Pavol Cerny | University of Colorado Boulder |
| Peter Müller | ETH Zurich |
| Peter Thiemann | University of Freiburg |
| Philippa Gardner | Imperial College London |
| Prakash Panangaden | McGill University |
| Rahul Sharma | Stanford University |
| Rastislav Bodik | University of Washington |
| Rishabh Singh | Microsoft Research |
| Robert Atkey | University of Strathclyde |
| Roberto Giacobazzi | University of Verona, Italy |
| Rupak Majumdar chair | Max Planck Institute for Software Systems |
| Shriram Krishnamurthi | Brown University |
| Somesh Jha | University of Wisconsin, Madison |
| Sorin Lerner | University of California, San Diego |
| Stephen Chong | Harvard University |
| Sumit Gulwani | Microsoft Research |
| Supratik Chakraborty | IIT Bombay |
| Sylvie Putot | École Polytechnique |
| Tachio Terauchi | JAIST |
| Thomas Wies | New York University |
| Tiark Rompf | Purdue University |
| Tobias Nipkow | Technische Universität München |
| Umut Acar | Carnegie Mellon University and INRIA |
| Vijay Ganesh | University of Waterloo |
| Viktor Kuncak | EPFL |
| Xiaokang Qiu | MIT |
| Yannis Smaragdakis | University of Athens |
| Zachary Tatlock | University of Washington |
| Zhong Shao | Yale University |