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