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