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