Name | Affiliation |
---|---|
Timothy Bourke | Inria/ENS |
Thomas Refis | Jane Street |
Thomas Gazagnaire | Tarides |
Simon Cruanes | Imandra Incr |
Raja Boujbel | OCamlPro |
KC Sivaramakrishnan | IIT Madras |
Ivan Gotovchits | Carnegie Mellon University |
Igor Pikovets | Ahrefs |
Hannes Mehnert | robur.io |
Emilio Jesús Gallego Arias | CRI - Mines ParisTech |
David Allsopp chair | University of Cambridge |