Shriram Krishnamurthi |
Brown University, USA |
Richard Eisenberg |
Bryn Mawr College / Tweag I/O |
Stefan Muller |
Carnegie Mellon University |
Jan Hoffmann |
Carnegie Melon University |
Magnus Myreen |
Chalmers University of Technology |
Jerome Simeon |
Clause, Inc |
Stephanie Balzer |
CMU |
Giuseppe Castagna |
CNRS - Université de Paris |
Ross Tate |
Cornell University |
Dimitrios Vytiniotis |
DeepMind |
Robbert Krebbers |
Delft University of Technology |
Makoto Hamana |
Department of Computer Science, Gunma University |
John Wiegley |
DFINITY |
Troels Henriksen |
DIKU, University of Copenhagen |
Geoffrey Mainland |
Drexel University |
Beta Ziliani |
FAMAF, UNC and CONICET |
Andreas Abel |
Gothenburg University |
KC Sivaramakrishnan |
IIT Madras |
Juan Pedro Bolívar Puente |
independent |
Chung-chieh Shan |
Indiana University |
Nicolas Tabareau |
Inria |
Delia Kesner |
IRI - Université de Paris |
Patrick Bahr |
IT University of Copenhagen |
Rasmus Ejlers Møgelberg |
IT University of Copenhagen |
Andrey Mokhov |
Jane Street |
Sebastian Erdweg |
JGU Mainz |
Frank Piessens |
KU Leuven |
Tom Schrijvers |
KU Leuven, Belgium |
Brigitte Pientka |
McGill University |
Jonathan Protzenko |
Microsoft Research |
Leonardo de Moura |
Microsoft Research |
Adam Chlipala chair |
MIT |
Ivan Perez |
National Institute of Aerospace / NASA Formal Methods Group |
Benjamin Canou |
Nomadic Labs |
Vincent St-Amour |
Northwestern University |
Kenichi Asai |
Ochanomizu University |
Tiark Rompf |
Purdue University |
Matthew Fluet |
Rochester Institute of Technology |
Aaron Stump |
The University of Iowa |
Atsushi Ohori |
Tohoku University |
Youyou Cong |
Tokyo Institute of Technology |
Guido Salvaneschi |
TU Darmstadt |
Jesper Cockx |
TU Delft |
Norman Ramsey |
Tufts University |
Ronald Garcia chair |
University of British Columbia |
Nadia Polikarpova |
University of California, San Diego |
Fritz Henglein |
University of Copenhagen (Denmark) |
Jean-Philippe Bernardy |
University of Gothenburg |
J. Garrett Morris |
University of Kansas |
Dominic Orchard |
University of Kent |
Danel Ahman |
University of Ljubljana |
Cyrus Omar |
University of Michigan |
Jennifer Hackett |
University of Nottingham |
Jan Midtgaard |
University of Southern Denmark |
Edwin Brady |
University of St. Andrews |
David Darais |
University of Vermont |
Aws Albarghouthi |
University of Wisconsin-Madison |
Sandrine Blazy |
Univ Rennes, IRISA |
Christine Rizkallah |
UNSW Sydney |
Gabriele Keller |
Utrecht University |