Name | Affiliation |
---|---|
Robbert Krebbers | Delft University of Technology |
Vivek Nigam | fortiss |
Aleks Nanevski chair | IMDEA Software Institute |
Azalea Raad | Imperial College London |
Francois Pottier chair | Inria |
Atsushi Igarashi | Kyoto University |
Pierre-Évariste Dagand | LIP6/CNRS |
Aseem Rastogi | Microsoft Research |
Matija Pretnar | University of Ljubljana |
Niki Vazou | University of Maryland |
Edwin Brady | University of St. Andrews |
Filip Sieczkowski | University of Wrocław |