| A. R. Balasubramanian | Max Planck Institute for Software Systems |
| Abhinav Jangda | Microsoft Research |
| Aditya Thakur | University of California, Davis |
| Ajay Brahmakshatriya | OpenAI |
| Akimasa Morihata | the University of Tokyo |
| Alastair Donaldson | Imperial College London |
| Alcides Fonseca | University of Lisbon |
| Alex Kavvos | University of Bristol |
| Alexandra Silva | Cornell University |
| Amanda Liu | Google |
| Amir Goharshady | University of Oxford; Gran Sasso Science Institute |
| Amir Shaikhha | TU Darmstadt |
| Anders Møller | Aarhus University |
| Anton Podkopaev | JetBrains Research; Constructor University Bremen |
| Bengt Jonsson | Uppsala University |
| Brandon Paulsen | Amazon Web Services, Inc. |
| Brian Campbell | University of Edinburgh |
| Changhee Jung | Purdue University |
| Charith Mendis | University of Illinois at Urbana-Champaign |
| Charles Zhang | HKUST |
| Chengnian Sun | University of Waterloo |
| Chengyu Zhang | Loughborough University |
| Clément Allain | Aarhus University |
| Cong Li | ETH Zurich |
| Corina Pasareanu | Amazon and Carnegie Mellon university |
| Cristiano Giuffrida | VU Amsterdam |
| Dana Drachsler-Cohen | Technion |
| Daniel Patterson | Northeastern University |
| Daoyuan Wu | Lingnan University |
| Deepak D'Souza | Indian Institute of Science |
| Deian Stefan | UC San Diego |
| Di Wang | Peking University |
| Dimitris Mitropoulos | University of Athens |
| Dominique Devriese | KU Leuven |
| Eric Schkufza | you.com |
| Fabian Zaiser | ETH Zürich |
| Fabrice Rastello | Inria |
| Fabrizio Montesi | FORM, University of Southern Denmark |
| Fredrik Kjolstad | Stanford University |
| Gabriel Rodríguez | Universidade da Coruña |
| Gregory Duck | National University of Singapore |
| Guillaume Baudart | Inria |
| Guowei Yang | University of Queensland |
| He Zhu | Rutgers University |
| Helmut Seidl | TU München, School of CIT |
| Işil Dillig | University of Texas at Austin |
| Jaemin Hong | UNIST |
| James Wilcox | University of Washington |
| Jan Hoffmann | Carnegie Mellon University |
| Jana Hofmann | Max Planck Institute for Security and Privacy (MPI-SP) |
| Jason Hemann | Seton Hall University |
| Jay Lim | University of California - Riverside |
| Jeff Huang | Texas A&M University |
| Ji-Yong Shin | Northeastern University |
| JIANLIN LI | NVIDIA |
| JIDONG ZHAI | Tsinghua University |
| Jieung Kim | Yonsei University |
| Jingxuan He | NVIDIA Research; Nanyang Technological University |
| Joachim Breitner | Lean FRO |
| Jocelyn Qiaochu Chen | University of Alberta |
| Jules Jacobs | ETH |
| Jyun-Ao Lin | National Taipei University of Technology |
| Kai-Min Chung | Academia Sinica |
| Kazem Cheshmi | McMaster University |
| KC Sivaramakrishnan | IIT Madras; Tarides |
| Ke Wang | Nanjing University |
| Kihong Heo | KAIST |
| Klaus v. Gleissenthall | VU Amsterdam |
| Krishna Shankaranarayanan | IIT Bombay |
| Lauren Pick | The Chinese University of Hong Kong |
| Lukas Holik | Aalborg University, Brno University of Technology |
| Madhusudan Parthararathy | University of Illinois at Urbana-Champaign |
| Mark Moeller | College of the Holy Cross |
| Martin Berger | University of Sussex & Montanarius Ltd |
| Mary Hall | University of Utah |
| Maryam Mehri Dehnavi | University of Toronto; NVIDIA Research |
| Mathieu Fehr | University of Cambridge |
| Matthew Parkinson | Microsoft |
| Max Willsey | UC Berkeley |
| Michael Ballantyne | Washington State University |
| Michael Bauer | NVIDIA |
| Michael Norrish | Australian National University |
| Michael Sammler | Institute of Science and Technology Austria (ISTA) |
| Michael Schwarz | National University of Singapore |
| Michalis Kokologiannakis | ETH Zurich |
| Mohamed Tarek Ibn Ziad | NVIDIA |
| Naijun Zhan | Peking University |
| Naoki Kobayashi | The University of Tokyo |
| Nariyoshi Chida | NTT Social Informatics Laboratories |
| Neil Ross | Dalhousie University |
| Nengkun Yu | Stony Brook University |
| Niki Vazou | IMDEA Software Institure |
| Nikos Vasilakis | Brown University |
| Nuno P. Lopes | INESC-ID / Instituto Superior Técnico, University of Lisbon |
| Olivia Hsu | Carnegie Mellon University |
| Olivier Tardieu | IBM Research |
| Ondřej Lengál | Brno University of Technology |
| Owolabi Legunsen | Cornell University |
| Pascal Weisenburger | University of St. Gallen |
| Paulo Emílio de Vilhena | University of Surrey |
| Pavel Chuprikov | Télécom Paris, Institut Polytechnique de Paris |
| Pavlos Petoumenos | University of Manchester |
| Pedro H. Azevedo de Amorim | University of Bath |
| Peter Lammich | University of Twente |
| Peter Thiemann | University of Freiburg |
| Petr Novotný | Masaryk University |
| Qingkai Shi | Nanjing University |
| Qirun Zhang | Georgia Institute of Technology |
| Rodrigo Bruno | INESC-ID, Instituto Superior Técnico, University of Lisbon |
| Rohan Yadav | Anthropic |
| Rongxin Wu | Xiamen University |
| Runzhou Tao | University of Maryland |
| Ruyi Ji | University of Michigan |
| Shan Lu | University of Chicago |
| Shaohua Li | The Chinese University of Hong Kong |
| Sophia Drossopoulou | Imperial College London |
| Stefanos Chaliasos | University of Athens & zkSecurity |
| Steve Zdancewic | University of Pennsylvania |
| Steven Holtzen | Northeastern University |
| Steven Ramsay | University of Bristol |
| Sukyoung Ryu | KAIST |
| Sung-Hwan Lee | Rebellions Inc. |
| Susmit Sarkar | University of St Andrews |
| Swamit Tannu | University of Wisconsin-Madison |
| Thibault Dardinier | New York University |
| Thodoris Sotiropoulos | University of Athens |
| Thomas Bauereiss | University of Cambridge |
| Thomas Jensen | INRIA and U. of Copenhagen |
| Thomas Sewell | UNSW Sydney |
| Tian Tan | Nanjing University |
| Timon Gehr | ETH Zürich |
| Ting Su | East China Normal University |
| Tobias Grosser | University of Cambridge |
| Veselin Raychev | INSAIT |
| Viktor Kunčak | EPFL |
| Wang Fang | University of Edinburgh |
| Wenjia Ye | University of Bristol and The Chinese University of Hong Kong |
| Wonyeol Lee | POSTECH |
| Xin Zhang | Peking University |
| Xinyu Wang | University of Michigan, Ann Arbor |
| Yingfei Xiong | Peking University |
| Yong Kiam Tan | Nanyang Technological University |
| Yuanhao Wei | University of British Columbia |
| Yue Li | Nanjing University |
| Yunong Shi | AWS |
| Yuting Wang | Shanghai Jiao Tong University |
| Yuyan Bao | Augusta University |
| Zhe Zhou | Peking University |
| Zhendong Su chair | ETH Zurich |
| Zhihao Jia | Carnegie Mellon University |
| Zhoulai Fu | State University of New York (SUNY), Korea |