Zhenjiang Hu |
Peking University |
Youyou Cong |
Tokyo Institute of Technology |
Xuan Bach Le |
Singapore Management University |
Umang Mathur |
National University of Singapore |
Thi Thu Ha Doan |
University of Freiburg |
Shachar Itzhaky |
Technion |
Rumyana Neykova |
Brunel University London |
Pierre-Marie Pédrot |
Inria |
Ondrej Lengal |
Brno University of Technology |
Nengkun Yu |
University of Technology Sydney |
Meenakshi D'Souza |
IIIT Bangalore |
Marco Patrignani |
University of Trento |
Marco Gaboardi |
Boston University |
Jihyeok Park |
Oracle Labs |
Jan de Muijnck-Hughes |
University of Strathclyde |
Isao Sasano |
Shibaura Institute of Technology |
Ilya Sergey chair |
National University of Singapore |
Farzaneh Derakhshan |
Carnegie Mellon University |
Eric Koskinen |
Stevens Institute of Technology |
Elena Zucca |
University of Genova |
Casper Bach Poulsen |
Delft University of Technology |
Beniamino Accattoli |
Inria & Ecole Polytechnique |
Arie Gurfinkel |
University of Waterloo |
Aquinas Hobor |
University College London |
Anton Podkopaev |
JetBrains Research |
Andrzej Murawski |
University of Oxford |
Anders Miltner |
Simon Fraser University |