| Zhenjiang Hu |
Peking University |
| Xavier Leroy |
Collège de France and Inria |
| Umang Mathur |
National University of Singapore |
| Ugo Dal Lago |
University of Bologna & INRIA Sophia Antipolis |
| Todd Millstein |
UCLA |
| Théo Winterhalter |
MPI-SP |
| Tej Chajed |
VMware Research |
| Taro Sekiyama |
National Institute of Informatics |
| Suresh Jagannathan |
Purdue University |
| Stephanie Balzer |
Carnegie Mellon University |
| Santosh Nagarakatte |
Rutgers University |
| Sam Tobin-Hochstadt |
Indiana University |
| Robert Rand |
University of Chicago |
| Robby Findler |
Northwestern University, U.S.A. |
| Robbert Krebbers |
Radboud University Nijmegen |
| Richard Eisenberg |
Tweag |
| Ralf Jung |
Massachusetts Institute of Technology |
| Patricia Johann |
Appalachian State University |
| Ornela Dardha |
University of Glasgow |
| Ohad Kammar |
University of Edinburgh |
| Oded Padon |
VMware Research |
| Noam Rinetzky |
Tel Aviv University |
| Ningning Xie |
University of Cambridge |
| Nicolas Tabareau |
Inria |
| Nadia Polikarpova |
University of California, San Diego |
| Nada Amin |
Harvard University |
| Mohsen Lesani |
Univsersity of California, Riverside |
| Mila Dalla Preda |
University of Verona |
| Michele Pagani |
IRIF, Université de Paris Cité |
| Michael Greenberg |
Stevens Institute of Technology |
| Matteo Maffei |
TU Wien |
| Marco Vassena |
Utrecht University |
| Marco Patrignani |
University of Trento |
| Malavika Samak |
Apple Inc. |
| Loris D'Antoni |
University of Wisconsin Madison |
| Lindsey Kuper |
UC Santa Cruz |
| Laura Kovacs |
TU Wien |
| Koen Claessen |
Chalmers University of Technology |
| Klaus Ostermann |
University of Tuebingen |
| Karthikeyan Bhargavan |
INRIA |
| Josh Berdine |
Meta |
| Joseph Tassarotti |
NYU |
| Joost-Pieter Katoen |
RWTH-Aachen University, Germany |
| Jonathan Sterling |
Aarhus University |
| Jacques-Henri Jourdan |
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Isabella Mastroeni |
University of Verona |
| Ichiro Hasuo |
National Institute of Informatics |
| Hugo Herbelin |
INRIA |
| Giuseppe Castagna |
CNRS - Université Paris Cité |
| Francois Pottier |
Inria |
| Francesco Zappa Nardelli |
Meta |
| Éric Tanter |
University of Chile |
| Elena Zucca |
University of Genova |
| Ekaterina Komendantskaya |
Heriot-Watt University |
| Eijiro Sumii |
Tohoku University |
| Dominic Orchard |
University of Kent |
| Deepak Garg |
Max Planck Institute for Software Systems |
| David Walker |
Princeton University |
| David Pichardie |
Meta |
| David Naumann |
Stevens Institute of Technology |
| Dan Licata |
Wesleyan University |
| Damien Pous |
ENS Lyon |
| Corina Pasareanu |
Carnegie Mellon University |
| Constantin Enea |
Ecole Polytechnique |
| Conrad Watt |
University of Cambridge |
| Clément Pit-Claudel |
EPFL |
| Christopher Pulte |
University of Cambridge |
| Christoph Matheja |
Technical University of Denmark |
| Brigitte Pientka |
McGill University |
| Benjamin C. Pierce |
University of Pennsylvania |
| Benjamin Delaware |
Purdue University |
| Azalea Raad |
Imperial College London |
| Arthur Chargueraud |
Inria |
| Andrzej Murawski |
University of Oxford |
| Andrew Tolmach |
Portland State University |
| Andreas Podelski |
University of Freiburg |
| Andreas Abel |
Gothenburg University |
| Amr Sabry |
Indiana University |
| Amal Ahmed chair |
Northeastern University (USA) |
| Aleksandar Nanevski |
IMDEA Software Institute |
| Alastair Donaldson |
Imperial College London / Google |
| Alan Jeffrey |
Roblox |
| Akash Lal |
Microsoft Research |
| Aaron Stump |
The University of Iowa |