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