Andreas Loow | Imperial College London |
Arie Gurfinkel | University of Waterloo |
Azalea Raad chair | Imperial College London |
Azalea Raad chair | Imperial College London |
Burcu Kulahcioglu Ozkan | Delft University of Technology |
Claire Dross | AdaCore |
Emanuele D'Osualdo | University of Konstanz |
Gregory Malecha | BlueRock Security |
Guillaume Ambal | Imperial College London |
Guy Amir | The Hebrew University of Jerusalem |
John Wickerson | Imperial College London |
Jonathan Protzenko chair | Microsoft Research |
Joonwon Choi | Apple |
Juneyoung Lee | Amazon Web Services |
Karine Even Mendoza | King's College London |
Kartik Nagar | IIT Madras |
Kenneth L. McMillan | University of Texas at Austin |
Kumar Madhukar | Indian Institute of Technology Delhi |
Léo Stefanesco | MPI-SWS |
Marc Pouzet | ENS/Inria |
Martin Bodin | Inria |
Michael Sammler | Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus |
Michalis Kokologiannakis | MPI-SWS, Germany |
Paulo de Vilhena | Imperial College London |
Roland Meyer | TU Braunschweig |
Rupak Majumdar | Max Planck Institute for Software Systems |
Soham Chakraborty | TU Delft |
Umang Mathur | National University of Singapore |
Yu-Fang Chen | Academica Sinica Taiwan |