Name | Affiliation |
---|---|
Stephen Dolan | OCaml Labs, University of Cambridge |
Nicolás Ojeda Bär | LexiFi |
Kanae Tsushima | Kyoto University |
Jonathan Protzenko | Microsoft Research |
John Whitington | University of Leicester |
Gabriel Scherer | INRIA |
Clark Gaebel | Jane Street |
Andrew Kennedy chair |