| Chiké Abuah |
UVM |
| Amal Ahmed chair |
Northeastern University (USA) |
| Khaled Ahmed |
University of British Columbia |
| Aws Albarghouthi |
University of Wisconsin-Madison |
| Karim Ali |
University of Alberta |
| Alasdair Armstrong |
University of Cambridge |
| Eric Atkinson |
MIT |
| Felipe Bañados Schwerter |
University of British Columbia |
| Aurèle Barrière |
Univ Rennes, Inria, CNRS, IRISA |
| Osbert Bastani |
University of Pennsylvania |
| Sidi Mohamed Beillahi |
University of Toronto |
| Lars Birkedal |
Aarhus University |
| Thomas Bourgeat |
MIT CSAIL |
| Oliver Bracevac |
Purdue University |
| Ethan Cecchetti |
University of Maryland |
| Alvin Cheung |
University of California, Berkeley |
| Michele Chiari |
Politecnico di Milano |
| Michael Coblenz |
University of Maryland |
| Ryan Culpepper |
CVUT |
| Emanuele D'Osualdo |
MPI-SWS |
| Delphine Demange |
Univ Rennes, Inria, CNRS, IRISA |
| Christos Dimoulas |
Northwestern University |
| Sophia Drossopoulou |
Facebook and Imperial College London |
| Tristan Dyer |
Brown University |
| Constantin Enea |
Ecole Polytechnique, LIX |
| Patrick Eugster |
Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
| Philippa Gardner |
Imperial College London |
| Deepak Garg |
Max Planck Institute for Software Systems |
| Neville Grech |
University of Malta |
| Ben Greenman |
Brown University |
| Samuel Gruetter |
MIT |
| Dongjie He |
School of Computer Science and Engineering, University of New South Wales Sydney |
| Pinjia He |
Chinese University of Hong Kong, Shenzhen |
| Kihong Heo |
KAIST |
| Chung-Kil Hur |
Seoul National University |
| Atsushi Igarashi |
Kyoto University |
| Nouraldin Jaber |
Purdue University |
| Suresh Jagannathan |
Purdue University |
| Ranjit Jhala |
University of California, San Diego |
| Jacques-Henri Jourdan |
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Ralf Jung |
Massachusetts Institute of Technology |
| Ifaz Kabir |
University of Alberta |
| Gail Kaiser |
Columbia University |
| Gowtham Kaki |
University of Colorado Boulder |
| Shoaib Kamil |
Adobe |
| Benjamin Lucien Kaminski |
Saarland University, Saarland Informatics Campus; and University College London |
| Ryan Kavanagh |
McGill University |
| Stephen Kell |
King's College London |
| Martin Kellogg |
University of Washington |
| Jérémie Koenig |
Yale University |
| Robbert Krebbers |
Radboud University Nijmegen |
| Neel Krishnaswami |
University of Cambridge |
| Milind Kulkarni |
Purdue |
| Jay P. Lim |
Yale University |
| Cristina Lopes |
UC Irvine |
| Stefan Marr |
University of Kent |
| Kathryn S McKinley |
Google |
| Mira Mezini chair |
Technische Universität Darmstadt |
| Ana Milanova |
Rensselaer Polytechnic Institute |
| Raphaël Monat |
LIP6, Sorbonne Université |
| Fabian Muehlboeck |
Institute of Science and Technology Austria |
| Chandrakana Nandi |
Certora |
| Victor Nicolet |
University of Toronto |
| Vesna Nowack |
Lancaster University |
| Hakjoo Oh |
Korea University |
| Oded Padon |
VMware Research |
| Jihyeok Park |
Oracle Labs |
| Madhusudan Parthasarathy |
University of Illinois at Urbana–Champaign |
| Daniel Patterson |
Northeastern |
| Lauren Pick |
University of Wisconsin, Madison |
| Louis-Noel Pouchet |
Colorado State University |
| Aseem Rastogi |
Microsoft Research |
| Alex Renda |
MIT CSAIL |
| Andreas Rossberg |
Dfinity Foundation |
| John Sarracino |
Cornell University |
| Peter Sewell |
University of Cambridge |
| Zhong Shao |
Yale University |
| Jiasi Shen |
MIT CSAIL |
| Calvin Smith |
University of Texas at Austin |
| Kristina Sojakova |
INRIA |
| Benno Stein |
University of Colorado Boulder, Meta |
| Kirshanthan Sundararajah |
Purdue University |
| Tachio Terauchi |
Waseda University |
| Mandana Vaziri |
IBM Research |
| Niki Vazou |
IMDEA Software Institute |
| Jan Vitek chair |
Northeastern University |
| Xinyu Wang |
University of Michigan |
| He Zhu |
Rutgers |
| Daming Zou |
ETH Zurich |