吉林大学软件学院软件形式化介绍

发布时间:2020-05-27 编辑:考研派小莉 推荐访问:
吉林大学软件学院软件形式化介绍

吉林大学软件学院软件形式化介绍内容如下,更多考研资讯请关注我们网站的更新!敬请收藏本站,或下载我们的考研派APP和考研派微信公众号(里面有非常多的免费考研资源可以领取,有各种考研问题,也可直接加我们网站上的研究生学姐微信,全程免费答疑,助各位考研一臂之力,争取早日考上理想中的研究生院校。)

吉林大学软件学院软件形式化介绍 正文

主要研究内容:软件形式化方法、语义网、程序分析技术、各种程序设计语言与实现技术、移动代码安全、并发语义、软件检查等。
  主要成果:承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目3项、省级校级教改项目3项、发表学术论文70余篇、编著学术著作13部。承担研究生课程《形式语义学》、《程序分析》,本科生课程《编译原理》和《高级语言程序设计》。《编译原理》课程被评为吉林大学精品课、吉林省精品课程和教育部-微软精品课程,获得三项省级奖励。
吉林大学

添加吉林大学学姐微信,或微信搜索公众号“考研派小站”,关注[考研派小站]微信公众号,在考研派小站微信号输入[吉林大学考研分数线、吉林大学报录比、吉林大学考研群、吉林大学学姐微信、吉林大学考研真题、吉林大学专业目录、吉林大学排名、吉林大学保研、吉林大学公众号、吉林大学研究生招生)]即可在手机上查看相对应吉林大学考研信息或资源

吉林大学考研公众号 考研派小站公众号

本文来源:http://www.okaoyan.com/jilindaxue/yanjiushengyuan_304584.html

推荐阅读