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 |