Program committee



NameAffiliation
Alasdair ArmstrongUniversity of Cambridge
Ambrus KaposiEötvös Loránd University
Andreia MordidoLASIGE, University of Lisbon
Andrej BauerUniversity of Ljubljana
Ankush DasBoston University
Aslan AskarovAarhus University
Bernardo ToninhoInstituto Superior Técnico, Universidade de Lisboa and INESC-ID
Christoph MathejaUniversity of Oldenburg and DTU Compute
Christopher PulteUniversity of Cambridge
Deepak D'SouzaIndian Institute of Science
Emanuele D’OsualdoUniversity of Konstanz
Fabio ZanasiUniversity College London
Farzaneh DerakhshanIllinois Institute of Technology
Francesco GavazzoUniversity of Padua
Ilya SergeyNational University of Singapore
Jana WagemakerRadboud University Nijmegen
John WickersonImperial College London
Jorge A. PérezUniversity of Groningen
Justin HsuCornell University
Kathrin StarkHeriot-Watt University
Liang-Ting ChenAcademia Sinica
Małgorzata BiernackaUniversity of Wrocław
Mohamed Faouzi AtigUppsala University
Ori LahavTel Aviv University
Paulo Emílio de VilhenaImperial College London
Raphaëlle CrubilléAix Marseille Univ, CNRS, LIS
Robbert Krebbers chairRadboud University Nijmegen
Ryosuke SatoTokyo University of Agriculture and Technology
Sven KeidelTU Darmstadt
Véronique BenzakenLMF, Université Paris-Saclay