Alwyn Goodloe |
NASA Langley Research Center |
Anders Mörtberg |
Stockholm University |
Andrei Popescu chair |
University of Sheffield |
Andrej Bauer |
University of Ljubljana |
Aquinas Hobor |
National University of Singapore |
Armaël Guéneau |
Aarhus University |
Aseem Rastogi |
Microsoft Research |
Bas Spitters |
Aarhus University |
Benjamin Delaware |
Purdue University |
Brigitte Pientka |
McGill University |
Cezary Kaliszyk |
University of Innsbruck |
Dmitriy Traytel |
University of Copenhagen |
Eveleyne Contejean |
CNRS |
Floris van Doorn |
University of Pittsburgh |
Freek Verbeek |
Open University of the Netherlands, The Netherlands |
Freek Wiedijk |
Radboud University Nijmegen |
Gregory Malecha |
BedRock Systems |
Hira Taqdees Syeda |
Amazon Web Services |
Hongjin Liang |
Nanjing University |
Jeehoon Kang |
KAIST |
Joe Hendrix |
SRI International |
John Harrison |
Amazon Web Services |
Joseph Tassarotti |
Boston College |
Kathrin Stark |
Princeton University |
Lars Birkedal |
Aarhus University |
Laura Titolo |
National Institute of Aerospace |
Mauricio Ayala-Rincon |
Universidade de Brasilia |
Mohammad Abdulaziz |
Technische Universität München |
Qinxiang Cao |
Shanghai Jiao Tong University |
Ralf Jung |
MPI-SWS |
Simon Foster |
University of York |
Sophie Tourret |
Inria |
Steve Zdancewic chair |
University of Pennsylvania |
Sylvie Boldo |
Inria |
Thomas Bauereiss |
University of Cambridge |
Toby Murray |
University of Melbourne |
Yves Bertot |
Inria and Université Cote d'Azur |
Zoe Paraskevopoulou |
Princeton University |