| Name | Affiliation |
|---|---|
| Adam Chlipala chair | MIT |
| Adrian Sampson chair | Cornell University |
| Caroline Trippel | Stanford University |
| Mengjia Yan chair | MIT |
| Sharad Malik | Princeton University |
| Name | Affiliation |
|---|---|
| Adam Chlipala chair | MIT |
| Adrian Sampson chair | Cornell University |
| Caroline Trippel | Stanford University |
| Mengjia Yan chair | MIT |
| Sharad Malik | Princeton University |