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