Name | Affiliation |
---|---|
Youyou Cong | Tokyo Institute of Technology |
Vaivaswatha Nagaraj | Zilliqa Research |
Simon Castellan | Inria |
Ryohei Tokuda | Idein |
Mehdi Bouaziz | Nomadic Labs Paris |
Kihong Heo | KAIST |
Kate Deplaix | OCaml Labs & OCaml Software Foundation |
Jun Furuse | DaiLambda Inc. |
Joris Giovannangeli | Ahrefs Research |
Jonathan Protzenko | Microsoft Research |
Jeffrey A. Scofield | Formalsim |
Hugo Heuzard | None |
Hakjoo Oh | Korea University |
Frédéric Bour chair | Tarides |
Cristina Rosu | Jane Street |