Program committee



Name Affiliation
Adrian Palacios Amazon Web Services
Alexandra Bugariu ETH Zurich
Alix Trieu ANSSI
Austin Mordahl The University of Texas at Dallas
Baber Rehman University of Hong Kong
Daniel Baier SoSy-Lab, LMU Munich
David Justo Microsoft
Dorra Ben Khalifa University of Perpignan, France
Eduard Kamburjan University of Oslo
Emanuele D'Osualdo MPI-SWS
Fabian Muehlboeck Institute of Science and Technology Austria
Guido Salvaneschi chair University of St. Gallen
Hernan Ponce de Leon chair Huawei
Hoang-Hai Dang BedRock Systems, Inc
Jan Vitek chair Northeastern University
Jianyi Cheng Imperial College London
Jiasi Shen The Hong Kong University of Science and Technology
Johannes Mey Technische Universität Dresden
John Sarracino Cornell University
Karim Ali chair University of Alberta
Karine Even-Mendoza King's College London
Krishna Narasimhan TU Darmstadt, Germany
Kristóf Marussy Budapest University of Technology and Economics
Lars Schütze Technische Universität Dresden
Mallku Soldevila FaMAF, Universidad Nacional de Córdoba, and CONICET
Mário Pereira NOVA LINCS & DI -- Nova School of Sciences and Tecnhology
Martin Kruliš Charles University
Martin Spiessl LMU Munich
Mehran Alidoost Nia University of Tehran, Iran and University of York, UK
Michael Schröder TU Wien
Michele Chiari Politecnico di Milano
Michele Tucci University of L'Aquila
Neea Rusch Augusta University
Oliver Bračevac Purdue University
Pascal Weisenburger University of St.Gallen
Qingkai Shi Purdue University
Quentin Stiévenart Vrije Universiteit Brussel
Raphaël Monat Inria & University of Lille
Shaohua Li ETH Zurich
Somesh Singh INRIA, ENS de Lyon
Stefan Winter chair LMU Munich
Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris
Stefanos Chaliasos Imperial College London
Tomoki Nakamaru The University of Tokyo
Ton Chanh Le Algorand Inc.
Utpal Bora University of Cambridge
Vikraman Choudhury University of Glasgow
Wenxi Wang the university of texas at austin
William Hallahan Binghamton
Xiaowen Hu The University of Sydney
Yanju Chen University of California, Santa Barbara
Yann Herklotz Imperial College London
Yao Li Portland State University
Yuke Wang University of California Santa Barbara
Zheng Wang University of California, Santa Barbara
Zhengyang Liu University of Utah