Program committee



Name Affiliation
Ahmed Bouajjani University of Paris
Alejandro Russo Chalmers University of Technology
Andreas Lochbihler Digital Asset
Andreas Pavlogiannis Aarhus University
Aquinas Hobor National University of Singapore
Aws Albarghouthi University of Wisconsin-Madison
Bernardo Toninho Universidade Nova de Lisboa and NOVA LINCS
Burcu Kulahcioglu Ozkan Delft University of Technology
Christine Rizkallah UNSW Sydney
Cristina David University of Bristol
Cristina Lopes UC Irvine
Dan Licata Wesleyan University
Danel Ahman University of Ljubljana
Ekaterina Komendantskaya Heriot-Watt University
Gagandeep Singh UIUC
Giuseppe Castagna CNRS - Université de Paris
Gordon Stewart BedRock Systems
Guilhem Jaber Université de Nantes
Ilya Sergey chair National University of Singapore
Ivan Lanese University of Bologna/INRIA
James Noble Victoria University of Wellington
Jana Dunfield Queen's University
Jeehoon Kang KAIST
Joseph Tassarotti Boston College
Mariangiola Dezani Università di Torino
Michael D. Adams Yale-NUS College
Ori Lahav Tel Aviv University
P. Madhusudan University of Illinois at Urbana–Champaign
Rayna Dimitrova CISPA Helmholtz Center for Information Security
Robert Rand University of Chicago
Sam Lindley The University of Edinburgh
Stefan Marr University of Kent
Vincent Rahli University of Birmingham
Zena M. Ariola University of Oregon