Program Committee

PC Members

• Nazareno Aguirre University of Rio Cuarto & CONICET, Argentina, and Guangdong-Technion Israel Institute of Technology, China
• Guy Amir UT Austin
• Kyungmin Bae Pohang University of Science and Technology (POSTECH)
• Anand Balakrishnan The University of Texas at Austin
• Haniel Barbosa Universidade Federal de Minas Gerais
• Sébastien Bardin CEA List & Université Paris-Saclay
• Benjamin Bisping CentraleSupélec, Université Paris-Saclay
• Sylvie Boldo Inria and Université Paris-Saclay
• Khaoula Boukir Ibn Tofail University
• Alexandra Bugariu University of Zürich, Switzerland
• Shaowei Cai Institute of Software, Chinese Academy of Sciences
• Filip Cano Institute of Science and Technology Austria
• Jialun CAO HKUST
• Franck Cassez Unaffiliated
• Milan Ceska Brno University of Technology
• Soham Chakraborty TU Delft
• Supratik Chakraborty Indian Institute of Technology Bombay
• Mingshuai Chen Zhejiang University
• Yu-Fang Chen Academia Sinica
• Chih-Hong Cheng University of Oldenburg
• Pedro R. D'Argenio National University of Córdoba
• Yuxin Deng Shanghai University of Finance and Economics
• Aleksandar S. Dimovski Mother Teresa University, Skopje
• Luca Di Stefano TU Wien
• Laurent Doyen CNRS
• Clemens Dubslaff TU Braunschweig
• Gidon Ernst University of Regensburg and LMU Munich
• Antonio Filieri AWS and Imperial College London
• Hadar Frenkel Bar Ilan University, Israel
• Vijay Ganesh Georgia Institute of Technology
• Fatemeh Ghassemi University of Tehran
• Mirco Giacobbe University of Birmingham
• R. Govind The Institute of Mathematical Sciences, Chennai
• Jan Friso Groote Eindhoven University of Technology
• Ji Guan Institute of Software, Chinese Academy of Sciences
• Shibashis Guha Tata Institute of Fundamental Research Mumbai
• Aarti Gupta Princeton University
• Ashutosh Gupta IIT Bombay
• Arie Gurfinkel University of Waterloo
• Fei He Tsinghua University
• Keijo Heljanko University of Helsinki
• Dennis Hendriks TNO and Radboud University
• Hossein Hojjat Tehran Institute for Advanced Studies
• Inigo Incer University of Michigan
• Omri Isac The Hebrew University of Jerusalem
• Marie-Christine Jakobs Ludwig-Maximilians-Universität München
• Mikoláš Janota CTU Prague
• Simon Jantsch Siemens EDA
• Chandan Kumar Jha University of Bremen
• Taylor T Johnson Vanderbilt University
• Sebastian Junges Radboud University
• Kadiray Karakaya Amazon Web Services
• Sean Kauffman Queen's University
• Daniel Kroening Amazon
• Peter Lammich University of Twente
• Julien Lange Royal Holloway, University of London
• Martin Lange University of Kassel
• Nian-Ze Lee National Taiwan University
• Stefan Leue University of Konstanz
• Elaine Li Barnard College, Columbia University
• Jianwen Li East China Normal University
• Si Liu The Chinese University of Hong Kong, Shenzhen
• Kumar Madhukar IIT Delhi
• Kaushik Mallik IMDEA Software Institute
• Anastasia Mavridou KBR Inc / NASA Ames Research Center
• Alexandra Mendes Faculty of Engineering, University of Porto
• Rosemary Monahan Maynooth University
• David Monniaux CNRS
• Felipe R. Monteiro Amazon Web Services
• Sayan Mukherjee IIT Bombay, India
• Kedar Namjoshi Nokia Bell Labs
• Aina Niemetz Stanford University
• Quentin Nivon Unaffiliated
• Federico Olmedo University of Chile
• Wytse Oortwijn TNO
• Rodrigo Otoni University of Groningen
• Burcu Kulahcioglu Ozkan Delft University of Technology
• Wojciech Penczek Institute of Computer Science PAS
• Guillermo A. Perez University of Antwerp
• Jaco van de Pol Aarhus University
• Pavithra Prabhakar University of New Mexico
• Adnan Rashid National University of Sciences and Technology, Pakistan
• Rajarshi Ray Indian Association for the Cultivation of Science
• Rajarshi Roy University of Liverpool
• Philipp Ruemmer Uppsala University
• Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens
• Guido Salvaneschi University of St.Gallen
• Anne-Kathrin Schmuck MPI-SWS, Kaiserslautern, Germany
• Peter Schrammel Diffblue Ltd
• Martina Seidl Johannes Kepler University Linz
• Krishna Shankaranarayanan Indian Institute of Technology Bombay
• Natasha Sharygina University of Lugano, Switzerland
• Jieke Shi Singapore Management University
• Stephen Siegel University of Delaware
• Fabien Siron Université Paris-Saclay/CEA List
• Fu Song Key Laboratory of System Software (Chinese Academy of Sciences) and Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Dennis Sprokholt TU Munich
• Pavle Subotic Databricks
• Simone Tini University of Insubria
• Yakir Vizel Technion - Israel Institute of Technology
• Anastasia Volkova Inria
• Tim Willemse Eindhoven University of Technology
• Haoze (Andrew) Wu Amherst College
• Zhilin Wu Institute of Software, Chinese Academy of Sciences
• Bai XUE Institute of Software Chinese Academy of Sciences
• Emily Yu Leiden University
• Agnieszka M. Zbrzezny Research and Academic Computer Network (NASK)
• Stefan Zetzsche Amazon Web Services
• Min Zhang East China Normal University
• Zhen Zhang Utah State University
• Djordje Zikelic Nanyang Technological University
• Damien Zufferey NVIDIA
• Florian Zuleger TU München