个人简介

讲授课程： 编译原理与实现： 2014~2018 计算机学院 2015 软件学院 软件工程工具与应用： 2016~2018 软件学院 教育经历： 2005.9~2009.6 吉林大学计算机科学与技术学院 本科 2009.9~2011.9 吉林大学计算机科学与技术学院 硕士 导师：金英 2010.8~2011.8 意大利Trento大学 计算机学院 欧盟交流计划 2011.9~2013.12 吉林大学计算机科学与技术学院 硕博连读 导师：金英 工作经历： 2017.9～今 吉林大学计算机科学与技术学院 副教授 2013.12～2017.9 吉林大学计算机科学与技术学院讲师 科研项目： 1、国家重点研发计划项目，2017YFB1003103、智能计算机编程方法、2017/09-2020/08、395万、在研、参加。 2、吉林省青年科研基金项目，20150520060JH、程序安全性验证方法研究、2015/01-2017/12、6万元、在研、主持。 3、吉林省重点科技攻关项目，20130206052GX、云计算下的编程模型研究、2013/01-2015/12、16万元、结项、参加。