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