Program committee



Name Affiliation
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