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