2010.09 to 2018.07
大连理工大学 | 计算机应用技术 | Doctoral Degree
2005.09 to 2008.01
大连理工大学 | 软件工程 | Master's Degree
2001.09 to 2005.07
大连理工大学 | 计算机科学与技术 | Bachelor's Degree
科研方面：
研究方向：智能软件工程、对抗机器学习、智能软件测试、智能软件形式化验证、嵌入式软件模糊测试、嵌入式软件形式化验证。
主持及参与国家自然科学基金项目5项、国家重点研发计划项目2项、XX预研项目1项、XX所开放基金项目2项。
发表SCI、EI检索论文40余篇；授权发明专利4项，获得软件著作权20余项。
教学方面：
主持各级教改项目7项，参与10余项，包括：省教改项目、教育部精品课程建设项目、教育部产学合作项目、国家本科教学工程项目等，发表教学论文20余篇、出版教材1部。多次获得省级、校级优秀教学成果奖、教学质量优良奖、优秀毕业设计指导教师等。
2010.09 to 2018.07
大连理工大学 | 计算机应用技术 | Doctoral Degree
2005.09 to 2008.01
大连理工大学 | 软件工程 | Master's Degree
2001.09 to 2005.07
大连理工大学 | 计算机科学与技术 | Bachelor's Degree
2020.04 to Now
大连理工大学软件学院
|
副教授
2018.12 to 2020.03
大连理工大学软件学院
|
副教授
2010.12 to 2018.12
大连理工大学软件学院
|
讲师
2008.03 to 2010.12
大连理工大学软件学院
|
助教
[1] 智能软件工程
[2] 对抗机器学习
[3] 可信软件
[4] 形式化方法
[5] 模型检测