吉林大學(xué)軟件學(xué)院軟件形式化介紹

發(fā)布時間：2020-05-27 編輯：考研派小莉 推薦訪問：
吉林大學(xué)軟件學(xué)院軟件形式化介紹

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

吉林大學(xué)軟件學(xué)院軟件形式化介紹 正文

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

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

吉林大學(xué)考研公眾號 考研派小站公眾號

本文來源：http://www.qiang-kai.com/jilindaxue/yanjiushengyuan_304584.html

推薦閱讀