| Erik Meijer |
Facebook |
| Augustus Odena |
Google |
| Rania Khalaf |
IBM Research |
| Niranjan Hasabnis |
Intel |
| Farhana Aleen |
Intel Corporation |
| Jesmin Jahan Tithi |
Intel Labs |
| Kuldeep Meel |
National University of Singapore |
| Kuldeep S. Meel |
National University of Singapore |
| Vinod Grover |
NVIDIA Corporation |
| Roopsha Samanta chair |
Purdue University |
| Dana Drachsler Cohen |
Technion |
| Sasa Misailovic |
University of Illinois at Urbana-Champaign |
| Calvin Smith |
University of Texas at Austin |
| Isil Dillig chair |
University of Texas Austin |
| Alexander Ratner |
University of Washington |
| Aws Albarghouthi chair |
University of Wisconsin-Madison |