寧波大學信息科學與工程學院導師：鈕俊

發(fā)布時間：2021-11-20 編輯：考研派小莉推薦訪問：

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

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

寧波大學信息科學與工程學院導師：鈕俊正文

[導師姓名]
鈕俊

[所屬院校]
寧波大學

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

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

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

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

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

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