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