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