导师姓名：钮俊
性别：男
人气指数：785

所属院校：宁波大学
所属院系：信息科学与工程学院
职称：副教授
导师类型：
招生专业：计算机技术、计算机应用技术
研究领域： 软件分析软件安全微服务物联网
研究领域： 软件分析软件安全微服务物联网 [收起]




通讯方式 :
办公电话：**
电子邮件：niujun@nbu.edu.cn
通讯地址：浙江省宁波市宁波大学曹光彪信息楼511室(315211)


个人简述 :
钮俊：男，35，博士，副教授，硕士生导师
研究方向：基于搜索的软件工程；云服务与服务计算；model checking形式化方法；可信物联网
招生专业：计算机应用技术、计算机技术，
招生人数：2名
主要经历任职：
毕业于同济大学电子与信息工程学院计算机科学与技术系，获“计算机软件与理论”博士学位；
现为宁波大学计算机系硕士生导师
研究方向集中于新型软件工程、云服务与服务计算、软件安全、软件分析、可信物联网等。
模型检测（model checking）技术由“图灵”奖获得着卡内基-梅隆大学clarke教授等提出，它能够自动、完备地对复杂信息系统的安全性、可靠性等进行验证，在软件工程、网络协议、复杂电路设计、物联网等领域具有广泛应用价值。近年来，概率、随机或不确定系统等的model checking技术的相继提出(probabilistic model checking、stochastic model checking、statistical model checking)，又使其在混合系统(hybrid systems)、信息物理融合系统(cyber-physical system)等的安全性、性能与可靠性验证方面获得国际学术界重点关注。同时，也已获得工程界关注，比如已提出针对matlab simulink/stateflow设计模型的安全性检测算法，。
欢迎报考，特别欢迎数学基础较好(离散数学、概率论与数理统计)的同学报考。


科研工作 :
在《计算机学报》、jcst、《计算机研究与发展》、《通信学报》及国际学术会议上发表学术论文20余篇。

美国计算机学会ACM会员，中国计算机学会会员

中国计算机学会理论计算机科学专业委员会委员

中国计算机学会形式化方法研究组委员

参与完成国家自然科学基金项目2项、教育部博士点基金项目1项、浙江省自然科学基金项目1项；
目前参与国家自然科学基金面上项目1项、青年基金1项；

目前主持软件工程国家重点实验室课题1项、浙江省科技厅公益应用项目1项、浙江省自然科学基金面上项目1项、嵌入式与服务计算教育部重点实验室课题1项；