System Intelligence Teams
Meet the researchers and contributors behind our System Intelligence initiatives.
| Name | Affiliation |
|---|---|
| Technical Advisory Board | |
| Lidong Zhou | MSR |
| Peng Cheng | MSR |
| Qi Chen | MSR |
| Shan Lu | MSR/UChicago |
| Tianyin Xu | UIUC |
| System Exam/Lab L1-L3 | |
| Tarek Elsayed | SFU |
| Chi McIsaac | Carleton University |
| Peizhe Liu | UIUC |
| Bohan Cui | NJU |
| Jiaqi Huang | NJU |
| Xuan Feng | MSR |
| Tianyin Xu | UIUC |
| System Artifact L1-L2 | |
| Hanwen Gu | PKU |
| Bogdan 'Bo' Stoica | UIUC |
| Zhongxin Guo | MSR |
| Xuan Feng | MSR |
| Tianyin Xu | UIUC |
| System Management L2-L3 | |
| Jackson Clark | UIUC |
| Bohan Cui | NJU |
| Tianyin Xu | UIUC |
| System Modeling L2-L4 | |
| Qian Chen | NJU |
| Ruize Tang | MSR |
| Tianyin Xu | UIUC |
| Formal Verification L2-L4 | |
| Chengyuan Yang | UIUC |
| Tianyu Chen | MSR |
| Shan Lu | MSR |
| System Implementation/Design L3-L5 | |
| Dong Du | SJTU |
| Mike Lang | MSR |
| System Agent Building/Optimization | |
| Jiahang Xu | MSR |
| Ying Chang | FDU |
| Zhongxin Guo | MSR |
| Xuan Feng | MSR |
Contributors
We welcome contributions from the community. Join us in advancing system intelligence research.