Alejandro Russo | Chalmers University of Technology |
Andrea Vezzosi | Well-Typed LLP |
Andrew Kennedy | Facebook |
Arthur Charguéraud | Inria |
Beniamino Accattoli | Inria & Ecole Polytechnique |
Bob Atkey | University of Strathclyde |
Brent Yorgey | Hendrix College |
Brigitte Pientka chair | McGill University |
Chung-chieh Shan | Indiana University |
Clément Pit-Claudel | EPFL |
Daan Leijen | Microsoft Research Redmond (USA) |
Dan Licata | Wesleyan University |
David Van Horn | University of Maryland |
David Thrane Christiansen | Lean FRO |
Dominic Orchard | University of Kent |
Ekaterina Komendantskaya | Heriot-Watt University & Southampton University |
Evelyne Contejean | CNRS |
Filip Sieczkowski | Heriot-Watt University |
Francesco Gavazzo | University of Padova |
Frank Pfenning | Carnegie Mellon University |
Gabriele Keller chair | Utrecht University |
Jacques Carette | McMaster University |
Jacques Garrigue | Nagoya University |
James Cheney | University of Edinburgh |
Jonathan Protzenko | Microsoft Research |
Joseph Tassarotti | NYU |
Katsuhiro Ueno | Niigata University |
Kenji Maillard | Inria Rennes |
Kesha Hietala | Amazon Web Services |
Koen Claessen | Chalmers University of Technology |
Laura Castro | Universidade da Coruña |
Lindsey Kuper | UC Santa Cruz |
Martin Elsman | University of Copenhagen |
Matthieu Sozeau | Inria |
Meng Wang | University of Bristol |
Michael Sperber | Active Group GmbH |
Neel Krishnaswami chair | University of Cambridge |
Nobuko Yoshida | University of Oxford |
Patricia Johann | Appalachian State University |
Patrick Bahr | IT University of Copenhagen |
Ralf Hinze | Universitat Kaiserslautern |
Ranjit Jhala | University of California, San Diego |
Richard Eisenberg | Jane Street |
Robbert Krebbers | Radboud University Nijmegen |
Ryosuke Sato | Tokyo University of Agriculture and Technology |
Scott Owens | Meta |
Shin-Cheng Mu | Academia Sinica, Taiwan |
Stefan Monnier | Université de Montréal |
Thomas Jensen | INRIA |
Wouter Swierstra | University of Utrecht |
Zoe Paraskevopoulou | Northeastern University and Ethereum Foundation |