| Name | Affiliation |
|---|---|
| Adam Chlipala | MIT |
| Andrea Lattuada | VMware Research |
| Elaine Li | New York University |
| Jean-Baptiste Tristan | AWS |
| Jean-Christophe Filliâtre | CNRS |
| Joseph Tassarotti | NYU |
| Nadia Polikarpova | University of California, San Diego |
| Peter Müller | ETH Zurich |
| Stefan Zetzsche | AWS |