（学习进修经历、发表论文、主持项目、指导研究生等） 2004.9-2008.7 沈阳工业大学 计算机科学与技术； 2008.9-2011.7 贵州大学 计算机软件与理论； 2011.8-2020.6 中国移动通信集团辽宁有限公司 工程师； 2020.6至今 辽宁石油化工大学 人工智能与软件工程学院 讲师。 主持项目：辽阳市智能烟草信息化项目获得全省优秀标杆案例。 参与项目：1. 贵州省工业科技攻关项目：《基于rCOS的形式化方法在可信需求工程中的应用研究》，担任算法设计及形式化验证； 2.辽宁省智慧交通信息化项目。 获奖：1.中国移动通信集团辽宁有限公司科技成果转化奖。 2.中国移动通信集团辽宁有限公司企业战略分析研究报告二等奖。 |
