Adam Chlipala |
MIT |
Ahmed Bouajjani |
University of Paris |
Alan Schmitt |
Inria |
Ana Sokolova |
University of Salzburg |
Andreas Pavlogiannis |
Aarhus University |
Annette Bieniusa |
TU Kaiserslautern |
Arjun Radhakrishna |
Microsoft |
Aseem Rastogi |
Microsoft Research |
Azadeh Farzan chair |
University of Toronto |
Bart Jacobs |
KU Leuven |
Damien Zufferey |
MPI-SWS |
David Monniaux |
CNRS |
David Van Horn |
University of Maryland |
Deepak Garg |
Max Planck Institute for Software Systems |
Dexter Kozen |
Cornell University |
Frank Pfenning |
Carnegie Mellon University |
Hongseok Yang |
KAIST |
Ichiro Hasuo |
National Institute of Informatics |
Jeehoon Kang |
KAIST |
Josh Berdine |
Facebook |
Kedar Namjoshi |
Bell Labs, Nokia |
Laura Kovacs |
TU Wien |
Laure Gonnord |
Université Claude Bernard Lyon 1, LIP |
Loris D'Antoni |
University of Wisconsin Madison |
Luc Maranget |
INRIA Paris |
Marco Gaboardi |
Boston University |
Mark Batty |
University of Kent |
Matthias Heizmann |
University of Freiburg |
Matthieu Sozeau |
Inria |
Mohamed Faouzi Atig |
Uppsala University |
Nada Amin |
Harvard University |
Nadia Polikarpova |
University of California, San Diego |
Naoki Kobayashi |
University of Tokyo |
Nobuko Yoshida |
Imperial College London |
Parosh Aziz Abdulla |
Uppsala University |
Pavol Černý |
TU Wien |
Pierre Ganty |
IMDEA Software Institute |
Rahul Sharma |
Microsoft Research |
Ravi Chugh |
University of Chicago |
Rishabh Singh |
Google |
Roland Meyer |
TU Braunschweig |
Rupak Majumdar |
Max Planck Institute for Software Systems |
Santiago Zanella-Béguelin |
Microsoft Research |
Sheng Chen |
University of Louisiana at Lafayette |
Simon Peyton-Jones |
Microsoft Research Cambridge |
Somesh Jha |
University of Wisconsin |
Sriram Sankaranarayanan |
University of Colorado, Boulder |
Taro Sekiyama |
National Institute of Informatics |
Umut Acar |
Carnegie Mellon University |
Viktor Vafeiadis |
Max Planck Institute for Software Systems |
William J. Bowman |
University of British Columbia |
Zachary Kincaid |
Princeton University |
Zhong Shao |
Yale University |