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 |
Google |
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 |