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 |