Program committee



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