|
Zuwei Zhao (赵祖威)School of Artificial IntelligenceNanjing University, P. R. China Office: Room A211, Big Data and Artificial Intelligence Research Building, Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing, China Email: zuweizhao at nju.edu.cn, zuweizhao at outlook.com Phone: +86-25-89689082 |
![]() |
赵祖威, 汤恩义, 李薛成, 戴新宇, 陈鑫, 李宣东. 软件供应链安全中的大语言模型生成代码逻辑性缺陷检测. 软件学报, 2026,37(7):.
赵祖威, 冯世宁, 汤恩义, 陈鑫, 李宣东, 潘敏学, 赵晨. 一种符号执行制导的循环内界分析方法. 电子学报, 2017,45(11):2582-2592.
李薛成, 赵祖威, 汤恩义, 陈鑫, 陆一飞, 李重, 李宣东. 一种结合符号执行的人工智能制导生成程序测试方法. 中国发明专利, 2025, 专利号: CN202411650905.3
Artificial Intelligence Engineering Project Development Training (For undergraduate students, Summer 2024-2025)