Name | Affiliation |
---|---|
Tomas Petricek | University of Kent |
Oleg Kiselyov chair | Tohoku University |
NingNing Xie | U. Toronto |
Matthew Fluet | Rochester Institute of Technology |
Matija Pretnar | University of Ljubljana |
Martin Elsman | University of Copenhagen |
Lars Bergstrom | |
Julia Lawall | Inria |
Jacques Garrigue | Nagoya University |
Guillaume Munch-Maccagnoni | INRIA |
Gabriel Scherer | INRIA |
David Allsopp | Tarides UK |
Daan Leijen | Microsoft Research Redmond (USA) |
BenoƮt Montagu | Inria |
Andrey Mokhov | Jane Street |
Andreas Rossberg | Dfinity Foundation |