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

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

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

+吉林大学 研究生
微信,为你答疑,送资源

吉林大学2021硕士研究生开学通知 吉林大学研究生学费标准 吉林大学研究生奖学金评定办法 2021考研吉林大学拟录取名研究生单公示 吉林大学莱姆顿学院介绍 吉林大学珠海学院专业设置 95%的同学还阅读了： 吉林大学研究生学费标准 吉林大学研究生奖学金评定办法 吉林大学研究生招生目录吉林大学研究生分数线吉林大学王牌专业排名吉林大学考研难吗吉林大学考研调剂信息吉林大学研究生导师名单吉林大学研究生学费吉林大学研究生奖学金

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

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

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

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

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

推荐阅读