2025年，数据结构与算法。

2024年，数据结构与算法。

2023年，计算理论导引。

2022年秋，计算理论导引。

2022年春，计算理论导引。

2021年春，计算理论导引。

推荐课程：

MIT 计算理论导引：https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020/，《计算理论导引》作者Professor Michael Sipser 的课程。 

CMU 程序分析课程：https://cmu-program-analysis.github.io/2021/，内容涵盖数据流分析、抽象解释、程序验证、符号执行、SMT求解等。

The Fuzzing Book：https://www.fuzzingbook.org/，内容涵盖模糊测试与符号执行。(B站上也有视频）

课题组招收程序分析与测试、编译优化、人工智能方向2026届博士/硕士生。欢迎报考！

【联系方式】

yufengzhang@hnu.edu.cn

【研究方向】

课题组研究方向包括但不限于：

- 程序分析与软件测试 (Program Analysis and Testing)

- 编译优化 (Compiler Optimization)

- 形式化方法 (Formal Methods)

- 智能化软件工程 (AI4SE / LLM for SE)

- 可信AI (Trustworthy AI)

报考条件：

1.思想品德端正；

2.数理基础扎实；

3.动手能力强；

4.英语水平较好；

5.对科研有热情，有自驱力。

同时欢迎有兴趣参加科研的本科生加入课题组。

【培养模式】

课题组秉持“全周期、精细化”的育人理念。导师将亲自指导学生开展科研工作，全面覆盖从初期方向探索、前沿选题构思、系统方案与实验设计，到核心代码实现及学术论文打磨与修改的全过程。

鼓励学生在中国计算机学会推荐国际学术会议和期刊和一流期刊上发表论文。

学而不思则罔，思而不学则殆   —— 《论语》

注：学指读书、读论文，思是指吸收、创新

- Shiji Xiao, Yufeng Zhang, Chubo Liu, Yan Ding, Keqin Li, Kenli Li. Relaxed Triangle Inequality for Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. https://arxiv.org/abs/2602.02577

- Lianjing Wang, Yufeng Zhang, Kenli Li, Zhenbang Chen, Xu Zhou, Pengfei Wang, Guangning Song, Ji Wang. S2F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling. https://arxiv.org/abs/2601.10068

- Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu. Kullback-Leibler Divergence-Based Out-of-Distribution Detection  with Flow-Based Generative Models. IEEE Transactions on Knowledge and Data Engineering, 2024. (CCF A类期刊)

- Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Kenli Li, Ji Wang. On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. Thirty-seventh Conference on Neural Information Processing Systems (NeurIPS 2023, CCF A类会议)

- Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang. Grammar-Agnostic Symbolic Execution by Token Symbolization, in 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021). 

- Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang. Synthesize Solving Strategy for Symbolic Execution, in 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021). 

- Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang. Type and Interval aware Array Constraint Solving for Symbolic Execution, in 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021，CCF A类会议)

- Yufeng Zhang*, Zhenbang Chen*, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang. Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, CCF A类会议).

- Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang. Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, Late Break Result).
- Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan. Synthesizing Smart Solving Strategy for Symbolic Execution. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, Late Break Result).
- Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong. RGSE: A Regular Property Guided Symbolic Executor for Java. Proceedings of the 2017 11thJoint Meeting on Foundations of Software Engineering (FSE 2017, CCF A类会议).
- Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu. Regular Property Guided Dynamic Symbolic Execution. 37th IEEE/ACM International Conference on Software Engineering (ICSE 2015, CCF A类会议).
- Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang. MPISE: Symbolic Execution of MPI Programs. IEEE 16th International Symposium on High Assurance Systems Engineering (HASE 2015).
- Hong Zhu， Yufeng Zhang. A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. Springer's Handbook on WebServices, 2014.
- Yufeng Zhang, Zhenbang Chen, Ji Wang. Speculative Symbolic Execution. IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE 2012，CCF B类会议).
- Hong Zhu, Yufeng Zhang. Collaborative Testing of Web Services. IEEE Transactions on Services Computing, 2013.
- Yufeng Zhang，Zhenbang Chen，Ji Wang. S2PF: Speculative symbolic PathFinder. ACM SIGSOFT Software Engineering Notes, 2012 (CCF C类).
- Yufeng Zhang, Hong Zhu. An Intelligent Broker Approach to Semantics-Based Service Composition. IEEE 35th Annual Computer Software and Applications Conference (COMPSAC 2011, CCF C类).