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