个人简述:

钮俊：男，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项；