钱俊彦 教授  

职称：教授/博导

研究方向：智能安全、软件分析与漏洞检测、容错

电子邮件：qianjunyan@gxnu.edu.cn

通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与工程学院

[个人简介] [科研项目] [代表性成果] 

一、个人简介

钱俊彦，男，二级教授/博导，东南大学计算机应用技术工学博士。广西“十百千”人才工程第二层次人选，广西高校卓越学者，广西师大“漓江学者”，计算机学会理论计算机科学、形式化方法、分布式计算与系统专委会委员,主要研究方向：智能安全、软件分析与漏洞检测、片上系统容错技术等。2013年获广西青年科技奖；2011和2004年分别获广西区自然科学和科技进步三等奖。主持国家自然科学基金、广西自然科学基金等项目近30项。在计算机领域的国际顶级期刊TSE、TOSEM、TPDS、TCAD、TACO、TDSC，国内一级学报《计算机学报》、《软件学报》、《电子学报》，以及MobiCom等重要国际会议上发表学术论文100多篇。获发明专利11项，实用新型专利1项，软件著作权13项。

研究兴趣：

智能安全：人工智能模型可解释、后门攻击及修复等理论与技术。

软件安全：软件漏洞检测、测试及代码分析。

系统安全：片上系统和片上网络的容错技术等。

招生需求：

1、招收硕士生不强调本科是计算机专业，只要数学或相关工科专业都可。

2、认同中国优秀传统文化，拥有贤善的人格，诚信的品质，无不良习惯。

3、优先招收勤奋踏实、有一定编程能力、或数学基础好、或希望继续深造的同学。

学习心得：

德为先、学为本、勤为径。

二、科研项目

（一）在研

1. 国家自然科学基金“基于大语言模型的跨单元漏洞语义关联机理与智能检测系统研究”，2026.01-2029.12， 主持

2. 广西自然科学基金“基于大语言模型融合多源信息与知识推理的过程间漏洞检测研究”，2026.04-2029.03，主持

3. 广西重点研发项目“基于可信感知的交通基础设施灾害高精度识别关键技术及示范应用”，2026.04-2029.03，合作单位主持

（二）已结题国家级项目

1. 国家自然科学基金“基于开关结构的VLSI处理器阵列降阶重构技术研究”，2022.01-2025.12， 主持

2. 国家自然科学基金“基于下推网络的实时并发递归程序可达性分析及增量式验证”，2016.01-2019.12，主持

3. 国家自然科学基金“基于抽象和符号技术的并发软件验证研究”，2011.01-2013.12，主持

4. 国家自然科学基金“基于依赖公式抽象的软件模型检测研究”，2007.01-2009.12，主持

三、代表性成果

（一）英文论文

1. Hao Ding, Yupeng Chi, Zheng Wu, Junyan Qian*, and Shuxiang Song*.  Efficient Shortest Path-Driven Tabu Search Reconfiguration Algorithm for Multiprocessor Array, IEEE Transactions on Dependable and Secure Computing, Online, 2025, DOI: 10.1109/TDSC.2025.3648726. CCF-A类期刊

2. Junyan Qian, Xuming Huang, Shuo Cai, Hao Ding*. Efficient Topology Reconfiguration Algorithm for Multiprocessor Arrays Driven by Clustered Faults, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(TCAD), online, 2025. DOI:10.1109/TCAD.2025.3624176. CCF-A类期刊

3. Cheng Zhang, Shujuan Jiang*, Zhong Chen, and Junyan Qian*. MSSN: Multi-Stream Steganalysis Network for Detection of QIM-based Steganography in VoIP Streams. IEEE Transactions on Dependable and Secure Computing(TDSC), online, 2025. DOI:10.1109/TDSC.2025.3612372. CCF-A类期刊

4. Hao Ding, Peiling Song, Yelin Li, Junyan Qian*. A Two-Stage Degradation-Based Topology Reconfiguration Algorithm for Fault-Tolerant Multiprocessor Arrays. ACM Transactions on Architecture and Code Optimization (TACO), 2025, 22(3): 89, DOI: 10.1145/3744907. CCF-A类期刊

5. Yufei Zhou, Haihua Tang, Longtao Zhu, Hao Ding, Junyan Qian*. Refining code-line-level bugginess identification: Getting the best of both worlds by fusing syntactic and semantic features. ACM Transactions on Software Engineering and Methodology (TOSEM), 2025, 34(3):73, DOI: 10.1145/3707456. CCF-A类期刊

6. Junyan Qian, Kunzhu Qiu, Hao Ding*, Huimin Zhang, and Zhongyi Zhai*. An Efficient Bottleneck Planes Exclusion Method for Reconfiguring 3D VLSI Arrays. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2024, 35(2): 250-263. CCF-A类期刊

7. YangWang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, YutianTang*, Junyan Qian*, Zhi Li*, Yuming Zhou*. Uncovering bugs in code coverage profilers via control flow constraint solving. IEEE Transactions on Software Engineering (TSE), 2023,49(11): 4964-4987. DOI: 10.1109/TSE.2023.3321381 CCF-A类期刊

8. Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian*, Lingzhong Zhao*.Efficient Three-Dimensional Processor Array Reconfiguration Algorithms Based on Bucket Effect. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2024, 43(4): 1023-1036. DOI: 10.1109/TCAD.2023.3337196. CCF-A类期刊

9. Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou, Lingzhong Zhao, and Zhongyi Zhai. Efficient Reconfiguration Algorithm with Flexible Rerouting Schemes for Constructing 3D VLSI Sub-Arrays. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2020, 39(1): 267-271. DOI: 10.1109/TCAD.2019.2891984. CCF-A类期刊

10. Junyan Qian, Zhide Zhou, Tianlong Gu, LingzhongZhao, Liang Chang. Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2016, 27(12): 3575-3587. CCF-A类期刊

11. Zhongyi Zhai, Junyan Qian*, Yuan Tao, Lingzhong Zhao, Bo Cheng. A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. ACM MobiCom 2018:735-737. CCF-A类会议

12. Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yangyang Zhao, Junyan Qian, Baowen Xu. How far we have progressed in the journey? An examination of cross-project defect prediction. ACM Transactions on Software Engineering and Methodology (TOSEM), 2018, 27(1):1-51. CCF-A类期刊

13. Cheng Zhang, Yue Yan, Shujuan Jiang*, Zhong Chen, and Junyan Qian*. Efficient Steganalysis Network for Detecting QIM-based VoIP Steganography. IEEE Transactions on Audio, Speech and Language Processing(TASLP), online, 2025. DOI: 10.1109/TASLPRO.2025.3623019. CCF B类/中科院SCI二区

14. Junyan Qian, Tong Wen, Ming Ling, Xiaofu Du, Hao Ding. Pixel-Based Clustering for Local Interpretable Model-Agnostic Explanations. Journal of Artificial Intelligence and Soft Computing Research, 2025, 15(3): 257-277. DOI: 10.2478/jaiscr-2025-0013 中科院SCI二区

15. Fang Liu, Xiaofu Du, Hao Ding, Junyan Qian*. Towards robust neural networks: Exploring counterfactual causality-based repair. Expert Systems with Applications,2024, 257: 125082. DOI: 10.1016/j.eswa.2024.125082 CCF-C类/中科院SCI一区

16. Junyan Qian, Chuanfang Zhang, Zheng Wu, Hao Ding, Long Li. Efficient Topology Reconfiguration for NoC-Based Multiprocessors: A Greedy-Memetic Algorithm. Journal of Parallel and Distributed Computing, 2024,190: 104904. DOI:  10.1016/j.jpdc.2024.104904  CCF-B类\中科院SCI三区

17. Yufei Zhou, Xutong Liu, Zhaoqiang Guo, Yuming Zhou, Corey Zhang, Junyan Qian*. Deep learning or classical machine learning? An empirical study on line-level software defect prediction. Journal of Software: Evolution and Process, 2024, 36(10): e2696.DOI: 10.1002/smr.2696 CCF-B类\中科院SCI三区

18. Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan*. Approximate Safety Properties in Metric Transition Systems. IEEE Transactions on Reliability, 2022, 71(1): 221-234. DOI: 10.1109/TR.2021.3139616. CCF-C类\中科院SCI二区

19. Zhongyi Zhai, Guibing Lai, Bo Cheng, Junyan Qian*, Lingzhong Zhao*, and JinsongWu. Lightweight Secure Detection Service for Malicious Attacks in WSN with timestamp-based MAC. IEEE Transactions on Network and Service Management, 2022,19(4): 5299–5311. DOI: 10.1109/TNSM.2022.3194205. 中科院SCI二区

20. Hao Ding, Junyan Qian*, Bisheng Huang, Lingzhong Zhao, Zhongyi Zhai. Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. Journal of Parallel and Distributed Computing, 2021, 151: 1–12.DOI: 10.1016/j.jpdc.2021.01.003. CCF-B类\中科院SCI三区

21. Hao Ding, Junyan Qian*, Lingzhong Zhao, Zhongyi Zhai. A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. Journal of Parallel and Distributed Computing, 2021, 158: 176–185. DOI: 10.1016/j.jpdc.2021.08.005.CCF-B类\中科院SCI三区

（二）中文CCF-A类期刊

1. 钱俊彦,徐力,古天龙,赵岭忠,蔡国永.基于时间动态下推网络可达性分析.电子学报,2017, 45 (9): 2241-2249.(EI, CCF-A类中文期刊)

2. 于巧,姜淑娟,张艳梅,王兴亚,高鹏飞,钱俊彦*.分类不平衡对软件缺陷预测模型性能的影响研究.计算机学报,2018,41(4):809-824. (EI, CCF-A类中文期刊)

3. 钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙.基于时间多栈下推网络的实时系统验证.计算机学报,2016,39(11)：2253-2269.(EI, CCF-A类中文期刊)

4. 赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace和ASP的CSP模型检测.软件学报，2015,26(10): 2521-2544. (EI,中文CCF-A类期刊)

5. 钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报,2014,37(8):1754-1767. (EI,CCF-A类中文期刊)

6. 钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报.2014, 37(12)：2574-2584.(EI, CCF-A类中文期刊)

7. 钱俊彦,徐宝文.基于完备抽象解释的模型检验CTL公式研究.计算机学报,2009, 31(5): 101-110. (EI,CCF-A类中文期刊)