Program committee



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