| Name | Affiliation |
|---|---|
| Alastair Donaldson | Imperial College London |
| Alexandra Silva | Cornell University |
| Amal Ahmed | Northeastern University (USA) |
| Andrew Myers | Cornell University |
| David Grove | IBM Research |
| Niki Vazou chair | IMDEA |
| Xavier Leroy | Collège de France and Inria |