教师介绍


现任湖南大学信息科学与工程学院副教授，硕士生导师。博士毕业于国防科技大学计算机学院，毕业后任江南计算机技术研究所助理研究员，2020年加入湖南大学信息科学与工程学院。研究方向为高可信软件、程序分析与测试、人工智能。主持国家自然科学青年基金，参与多项973、863、核高基、科技部重点研发、国防预研等项目。在ASE、ICSE、FSE、ISSRE、（IEEE）TSC等顶级国际会议及期刊上发表论文十余篇。

中文名： 张羽丰 英文名：
学历： 博士 职称： 副教授
联系电话： 电子邮件： yufengzhang@hnu.edu.cn
研究方向： 高可信软件、程序分析与测试、人工智能
联系地址： 湖南省长沙市湖南大学信息科学与工程学院
所属机构： 计算机科学系 学院教师




学生培养
目前正在招收2021届研究生。欢迎基本功扎实、有科研热情的同学报考！
如果满足以下条件：
1.思想品德端正。
2.基础理论扎实：如果本科为计算机专业，需熟练掌握以下专业核心课程：算法设计与分析、离散数学、编译原理、操作系统；如果学过数值计算或者数值优化更佳。
3.有不错的动手能力，掌握C/C++/Java/Python等至少一门语言；本科阶段写过的代码量不少于5000行；如果本科非计算机专业，需要有对应的实践能力。（面试时请介绍自己写过的代码）；
4.对程序静/动态分析、软件测试感兴趣；或者对人工智能及其在软件可信性领域的应用感兴趣；
5.对探索未知有兴趣 、有主动学习的习惯；乐于交流和讨论问题；*这一条是必备条件*；
欢迎与我联系。

我希望读研的同学：
1.能够抱着对自己的课题负责的态度进入读研阶段；
2.思维活跃热情，在做课题的过程中能够提高自己发现问题、分析问题、解决问题的能力；
我不希望：

1.凡事抱着能过关就过关的态度；
2.动手能力不佳，或者基础薄弱，并且惧怕挑战。







学术论文
[1] Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang.On the Properties of Kullback-Leibler Divergence Between Gaussians.https://arxiv.org/abs/2102.05485
[2] 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类会议).
[3] 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).
[4] 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).
[5] 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类会议).
[6] 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类会议).
[7] 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).
[8] Hong Zhu， Yufeng Zhang. A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. Springer's Handbook on WebServices, 2014.
[9] Yufeng Zhang, Zhenbang Chen, Ji Wang. Speculative Symbolic Execution. IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE 2012，CCF B类会议).
[10] Hong Zhu, Yufeng Zhang. Collaborative Testing of Web Services. IEEE Transactions on Services Computing, 2013.
[11] Yufeng Zhang，Zhenbang Chen，Ji Wang. S2PF: Speculative symbolic PathFinder. ACM SIGSOFT Software Engineering Notes, 2012 (CCF C类).
[12] 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类).