| Name | Affiliation |
|---|---|
| Fabian Zaiser | MIT |
| Gabriel Poesia | University of Michigan |
| Jacques-Henri Jourdan | Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Jean-Christophe Filliatre | CNRS |
| Julien Signoles | Université Paris-Saclay, CEA, List |
| Kiran Gopinathan | Basis |
| Nada Amin | Harvard |
| Tzu-Han Hsu | Harvard University |
| Yannick Moy | ANSSI |