寧波大學(xué)信息科學(xué)與工程學(xué)院導(dǎo)師：鈕俊

發(fā)布時(shí)間：2021-11-20 編輯：考研派小莉 推薦訪問：
寧波大學(xué)信息科學(xué)與工程學(xué)院導(dǎo)師：鈕俊

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

寧波大學(xué)信息科學(xué)與工程學(xué)院導(dǎo)師：鈕俊 正文

[導(dǎo)師姓名]
鈕俊

[所屬院校]
寧波大學(xué)

[基本信息]
導(dǎo)師姓名：鈕俊
性別：男
人氣指數(shù)：2686
所屬院校：寧波大學(xué)
所屬院系：信息科學(xué)與工程學(xué)院
職稱：副教授
導(dǎo)師類型：
招生專業(yè)：計(jì)算機(jī)技術(shù)、計(jì)算機(jī)應(yīng)用技術(shù)
研究領(lǐng)域：軟件分析軟件安全微服務(wù)物聯(lián)網(wǎng)



[通訊方式]
辦公電話：13586889912
電子郵件：niujun@nbu.edu.cn
通訊地址：浙江省寧波市寧波大學(xué)曹光彪信息樓511室(315211)

[個(gè)人簡述]
鈕?。耗?，35，博士，副教授，碩士生導(dǎo)師
研究方向：基于搜索的軟件工程；云服務(wù)與服務(wù)計(jì)算；model checking形式化方法；可信物聯(lián)網(wǎng)
招生專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)、計(jì)算機(jī)技術(shù)，
招生人數(shù)：2名
主要經(jīng)歷任職：
畢業(yè)于同濟(jì)大學(xué)電子與信息工程學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)系，獲“計(jì)算機(jī)軟件與理論”博士學(xué)位；
現(xiàn)為寧波大學(xué)計(jì)算機(jī)系碩士生導(dǎo)師
研究方向集中于新型軟件工程、云服務(wù)與服務(wù)計(jì)算、軟件安全、軟件分析、可信物聯(lián)網(wǎng)等。
模型檢測（model checking）技術(shù)由“圖靈”獎(jiǎng)獲得著卡內(nèi)基-梅隆大學(xué)clarke教授等提出，它能夠自動(dòng)、完備地對復(fù)雜信息系統(tǒng)的安全性、可靠性等進(jìn)行驗(yàn)證，在軟件工程、網(wǎng)絡(luò)協(xié)議、復(fù)雜電路設(shè)計(jì)、物聯(lián)網(wǎng)等領(lǐng)域具有廣泛應(yīng)用價(jià)值。近年來，概率、隨機(jī)或不確定系統(tǒng)等的model checking技術(shù)的相繼提出(probabilistic model checking、stochastic model checking、statistical model checking)，又使其在混合系統(tǒng)(hybrid systems)、信息物理融合系統(tǒng)(cyber-physical system)等的安全性、性能與可靠性驗(yàn)證方面獲得國際學(xué)術(shù)界重點(diǎn)關(guān)注。同時(shí)，也已獲得工程界關(guān)注，比如已提出針對matlab simulink/stateflow設(shè)計(jì)模型的安全性檢測算法，。
歡迎報(bào)考，特別歡迎數(shù)學(xué)基礎(chǔ)較好(離散數(shù)學(xué)、概率論與數(shù)理統(tǒng)計(jì))的同學(xué)報(bào)考。

[科研工作]
在《計(jì)算機(jī)學(xué)報(bào)》、jcst、《計(jì)算機(jī)研究與發(fā)展》、《通信學(xué)報(bào)》及國際學(xué)術(shù)會(huì)議上發(fā)表學(xué)術(shù)論文20余篇。
美國計(jì)算機(jī)學(xué)會(huì)ACM會(huì)員，中國計(jì)算機(jī)學(xué)會(huì)會(huì)員
中國計(jì)算機(jī)學(xué)會(huì)理論計(jì)算機(jī)科學(xué)專業(yè)委員會(huì)委員
中國計(jì)算機(jī)學(xué)會(huì)形式化方法研究組委員
參與完成國家自然科學(xué)基金項(xiàng)目2項(xiàng)、教育部博士點(diǎn)基金項(xiàng)目1項(xiàng)、浙江省自然科學(xué)基金項(xiàng)目1項(xiàng)；
目前參與國家自然科學(xué)基金面上項(xiàng)目1項(xiàng)、青年基金1項(xiàng)；
目前主持軟件工程國家重點(diǎn)實(shí)驗(yàn)室課題1項(xiàng)、浙江省科技廳公益應(yīng)用項(xiàng)目1項(xiàng)、浙江省自然科學(xué)基金面上項(xiàng)目1項(xiàng)、嵌入式與服務(wù)計(jì)算教育部重點(diǎn)實(shí)驗(yàn)室課題1項(xiàng)；

[教育背景]
以上老師的信息來源于學(xué)校網(wǎng)站，如有更新或錯(cuò)誤，請聯(lián)系我們進(jìn)行更新或刪除，聯(lián)系方式

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

寧波大學(xué)考研公眾號 考研派小站公眾號
寧波大學(xué)

本文來源：http://www.qiang-kai.com/ningbodaxue/yanjiushengdaoshi_529478.html