Andrew W. Appel |
Princeton |
Arthur Azevedo de Amorim |
CMU |
Osbert Bastani |
Upenn |
Andrej Bauer |
Ljubljana |
Lars Birkedal chair |
Aarhus University |
Sandrine Blazy |
Univ Rennes, IRISA |
Filippo Bonchi |
University of Pisa |
Bor-Yuh Evan Chang |
University of Colorado Boulder / Amazon |
Arthur Charguéraud |
Inria |
Matteo Cimini |
Lowell |
Jesper Cockx |
Chalmers |
Ugo Dal Lago |
Bologna |
Dominique Devriese |
Vrije Universiteit Brussel |
Alastair Donaldson |
Imperial College London / Google |
Cezara Dragoi |
Inria |
Jeffrey S. Foster |
Tufts University |
Cédric Fournet |
Microsoft Research |
Vijay Ganesh |
University of Waterloo |
Colin Gordon |
Drexel University |
Alexey Gotsman |
IMDEA Software Institute |
Arjun Guha |
University if Massachusetts Amherst |
Chung-Kil Hur |
Seoul |
Radha Jagadeesan |
College of CDM, DePaul |
Limin Jia |
CMU |
Ohad Kammar |
University of Edinburgh |
Eric Koskinen |
Stevens Institute of Technology |
Shuvendu Lahiri |
MSR Redmond |
Mohsen Lesani |
Univsersity of California, Riverside |
Sam Lindley |
The University of Edinburgh / Imperial College London |
Andrzej Murawski |
University of Oxford |
Magnus O. Myreen |
Chalmers |
Sylvie Putot |
Ecole Polytechnique |
Azalea Raad |
Imperial College London |
Francesco Ranzato |
University of Padova |
Noam Rinetzky |
Tel Aviv |
Xavier Rival |
Paris |
Tiark Rompf |
Purdue |
Sukyoung Ryu |
KAIST |
Roopsha Samanta |
Purdue University |
Susmit Sarkar |
St Andrews |
Jeremy G. Siek |
Indiana University |
Alexandra Silva |
University College London |
Armando Solar-Lezama |
MIT |
Pierre-Yves Strub |
École Polytechnique |
Christine Tasson |
Paris |
Peter Thiemann |
Freiburgh |
Mirco Tribastone |
IMT School for Advanced Studies Lucca |
Hiroshi Unno |
University of Tsukuba |
Margus Veanes |
MSR Redmond |
Thomas Wies |
NYU |
Eran Yahav |
Technion |
Steve Zdancewic |
University of Pennsylvania |
Beta Ziliani |
FAMAF, UNC and CONICET |