2022年秋，计算理论导引。

2022年春，计算理论导引。

2021年春，计算理论导引。

教材：Introduction to the Theory of Computation, 3rd. Michael Sipser. Cengage Learning.

-编译原理中使用的自动机、文法有什么理论基础？

-“XX problem is NP-hard”是什么意思？

-知道图灵奖，还不知道图灵机。

来上计算理论导引课吧，成为有内核（涵）的人。

推荐一些相关课程：

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站上也有视频）

课题组招收程序分析与测试、人工智能方向2024届硕士，欢迎来信~

欢迎基本功扎实、有科研热情的同学报考！

硕士报考条件：

1.思想品德端正。

2.基础理论扎实：如果本科为计算机专业，需熟练掌握以下专业核心课程：算法设计与分析、离散数学、编译原理、操作系统。如果学过数值计算或者数值优化更佳；

3.动手能力强，掌握C/C++/Java/Python等至少一门语言；如果本科非计算机专业，需要有对应的实践能力；

4.对程序静/动态分析、软件测试感兴趣；或者对人工智能及其在软件可信性领域的应用感兴趣；

5.对科研有热情，对探索未知有兴趣 ，有主动学习的习惯；

6.乐于交流和讨论问题；*这一条尤其重要*；

博士报考条件：

1.数理基础扎实；

2.动手能力强；

3.非直博生需发表过(或即将发表)中\高水平科研论文；

4.real interested in research。

同时欢迎有兴趣参加科研的本科生加入~

联系方式：

yufengzhang@hnu.edu.cn

我会手把手亲自指导学生，帮助学生选题、设计思路、定期讨论课题进展、设计实现方案、设计实验、修改和重写论文。毕业后推荐去华为、字节等大厂工作。

- 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类会议)

- 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, 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类).