Program committee



NameAffiliation
Andreas LoowImperial College London
Arie GurfinkelUniversity of Waterloo
Azalea Raad chairImperial College London
Azalea Raad chairImperial College London
Burcu Kulahcioglu OzkanDelft University of Technology
Claire DrossAdaCore
Emanuele D'OsualdoUniversity of Konstanz
Gregory MalechaBlueRock Security
Guillaume AmbalImperial College London
Guy AmirThe Hebrew University of Jerusalem
John WickersonImperial College London
Jonathan Protzenko chairMicrosoft Research
Joonwon ChoiApple
Juneyoung LeeAmazon Web Services
Karine Even MendozaKing's College London
Kartik NagarIIT Madras
Kenneth L. McMillanUniversity of Texas at Austin
Kumar MadhukarIndian Institute of Technology Delhi
Léo StefanescoMPI-SWS
Marc PouzetENS/Inria
Martin BodinInria
Michael SammlerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Michalis KokologiannakisMPI-SWS, Germany
Paulo de VilhenaImperial College London
Roland MeyerTU Braunschweig
Rupak MajumdarMax Planck Institute for Software Systems
Soham ChakrabortyTU Delft
Umang MathurNational University of Singapore
Yu-Fang ChenAcademica Sinica Taiwan