Program committee



Name Affiliation
Ajitha Rajan University of Edinburgh
Akash Lal Microsoft Research India
Alastair Donaldson chair Imperial College, London
Alex Potanin Victoria University of Wellington
Alexander Summers ETH Zurich
Alexey Gotsman IMDEA Software Institute
Ana Milanova Rensselaer Polytechnic Institute
Azalea Raad MPI-SWS
Bart Jacobs KU Leuven
Bruno Oliveira University of Hong Kong
Cezara Dragoi INRIA ENS
Christian Hammer University of Potsdam
Corina Pasareanu Carnegie Mellon University and NASA Ames
David Pearce Victoria University of Wellington
Derek Dreyer MPI-SWS
Dino Distefano Facebook
Doug Lea State University of New York at Oswego
Emma Söderberg Lund University
Eva Darulova Max Planck Institute for Software Systems
Ganesh Gopalakrishnan University of Utah
Gregor Richards University of Waterloo
Heather Miller Carnegie Mellon University
Ilya Sergey Yale-NUS College and SoC, NUS
Jeroen Ketema ESI (TNO)
Jessica Paquette Apple
John Wickerson Imperial College London
Junjie Chen Peking University
Laurence Tratt King's College London
Lisa Nguyen Quang Do Fraunhofer IEM
Luís Pina George Mason University
Manu Sridharan Uber
Mariangiola Dezani Università di Torino
Martin Vechev ETH Zurich
Matthias Hauswirth USI Lugano
Mike Dodds Galois, Inc.
Philipp Ruemmer Uppsala University
Robert Atkey University of Strathclyde
Sophia Drossopoulou Imperial College London
Suparna Bhattacharya Hewlett Packard Enterprise
Susan Eisenbach Imperial College London
Tijs van der Storm CWI & University of Groningen
Tim Harris Amazon
Viviana Bono University of Torino