![]() |
Zuwei Zhao (赵祖威)School of Artificial IntelligenceNanjing University, P. R. China Office: Room C411, Siu Yat-Fu Building, Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing, China Email: zuweizhao@nju.edu.cn, zuweizhao@outlook.com |
![]() ![]() |
Zuwei Zhao, Shining Feng, Enyi Tang, Xin Chen, Xuandong Li, Minxue Pan, Chen Zhao. A Symbolic Execution Guided Inner Loop Bound Analysis[J]. Acta Electronica Sinica, 2017, 45(11): 2582-2592.
Artificial Intelligence Engineering Project Development Training (For undergraduate students, Summer 2024)