| Chandrakana Nandi chair |
Certora |
| Alexa VanHattum |
Cornell University |
| Indranil Saha |
IIT Kanpur, India |
| Dan Iorga |
Imperial College London |
| Jubi Taneja chair |
Microsoft Research |
| Umang Mathur |
National University of Singapore |
| Martin Kellogg |
New Jersey Institute of Technology |
| Yao Li |
Portland State University |
| Dongjie He |
School of Computer Science and Engineering, University of New South Wales Sydney |
| Gagandeep Singh |
UIUC |
| J. Nelson Amaral |
University of Alberta |
| Caleb Stanford |
University of California, Davis |
| Tobias Grosser |
University of Edinburgh |
| Dorra Ben Khalifa |
University of Perpignan, France |
| Jie Zhou |
University of Rochester |
| Max Willsey |
University of Washington |