| Name | Affiliation |
|---|---|
| Jennifer Paykin | Galois Inc |
| Francois Pottier | Inria |
| Nikhil Swamy | MSR Redmond |
| Shin-ya Katsumata | National Institute of Informatics |
| Daniel Hillerström chair | The University of Edinburgh |
| Maria Gorinova | Twitter Inc |
| Danel Ahman chair | University of Ljubljana |