艾思科蓝公众号
讲授课程: 编译原理与实现: 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万元、结项、参加。
资料审核中
您的资料已提交成功!
我们的工作人员会将会在3-5个工作日内和您联系