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

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

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

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

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

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

吉林大學(xué)

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