| Name | Affiliation |
|---|---|
| Marco Canini chair | KAUST |
| Nik Sultana chair | University of Pennsylvania |
| Nikolaj Bjorner chair | Microsoft Research |
| Name | Affiliation |
|---|---|
| Marco Canini chair | KAUST |
| Nik Sultana chair | University of Pennsylvania |
| Nikolaj Bjorner chair | Microsoft Research |