吉林大學軟件學院軟件形式化介紹

發(fā)布時間：2020-05-27 編輯：考研派小莉推薦訪問：

吉林大學軟件學院軟件形式化介紹內(nèi)容如下，更多考研資訊請關注我們網(wǎng)站的更新！敬請收藏本站，或下載我們的考研派APP和考研派微信公眾號（里面有非常多的免費考研資源可以領取，有各種考研問題，也可直接加我們網(wǎng)站上的研究生學姐微信，全程免費答疑，助各位考研一臂之力，爭取早日考上理想中的研究生院校。）

+吉林大學研究生
微信,為你答疑,送資源

吉林大學2021碩士研究生開學通知吉林大學研究生學費標準吉林大學研究生獎學金評定辦法 2021考研吉林大學擬錄取名研究生單公示吉林大學萊姆頓學院介紹吉林大學珠海學院專業(yè)設置 95%的同學還閱讀了： 吉林大學研究生學費標準吉林大學研究生獎學金評定辦法吉林大學研究生招生目錄吉林大學研究生分數(shù)線吉林大學王牌專業(yè)排名吉林大學考研難嗎吉林大學考研調(diào)劑信息吉林大學研究生導師名單吉林大學研究生學費吉林大學研究生獎學金

吉林大學軟件學院軟件形式化介紹正文

主要研究內(nèi)容：軟件形式化方法、語義網(wǎng)、程序分析技術(shù)、各種程序設計語言與實現(xiàn)技術(shù)、移動代碼安全、并發(fā)語義、軟件檢查等。
主要成果：承擔并完成了國家自然科學基金項目4項、教育部博士點基金1項、省部級項目2項、協(xié)作項目3項、省級校級教改項目3項、發(fā)表學術(shù)論文70余篇、編著學術(shù)著作13部。承擔研究生課程《形式語義學》、《程序分析》，本科生課程《編譯原理》和《高級語言程序設計》?！毒幾g原理》課程被評為吉林大學精品課、吉林省精品課程和教育部-微軟精品課程，獲得三項省級獎勵。

吉林大學

添加吉林大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[吉林大學考研分數(shù)線、吉林大學報錄比、吉林大學考研群、吉林大學學姐微信、吉林大學考研真題、吉林大學專業(yè)目錄、吉林大學排名、吉林大學保研、吉林大學公眾號、吉林大學研究生招生）]即可在手機上查看相對應吉林大學考研信息或資源。