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