个人简介
个人简介
教育背景：
钮俊：男，35，博士
招生专业：计算机应用技术、计算机技术，
招生人数：2名
主要经历任职：
毕业于同济大学电子与信息工程学院计算机科学与技术系，获“计算机软件与理论”博士学位；
现为宁波大学计算机系硕士生导师
研究方向集中于新型软件工程、云服务与服务计算、软件安全、软件分析、可信物联网等。
模型检测（modelchecking）技术由“图灵”奖获得着卡内基-梅隆大学clarke教授等提出，它能够自动、完备地对复杂信息系统的安全性、可靠性等进行验证，在软件工程、网络协议、复杂电路设计、物联网等领域具有广泛应用价值。近年来，概率、随机或不确定系统等的modelchecking技术的相继提出(probabilisticmodelchecking、stochasticmodelchecking、statisticalmodelchecking)，又使其在混合系统(hybridsystems)、信息物理融合系统(cyber-physicalsystem)等的安全性、性能与可靠性验证方面获得国际学术界重点关注。同时，也已获得工程界关注，比如已提出针对matlabsimulink/stateflow设计模型的安全性检测算法，。
欢迎报考，特别欢迎数学基础较好(离散数学、概率论与数理统计)的同学报考。
目前承担的主要科研项目
项目名称
项目来源
项目编号
项目起止时间
基于博弈论的物联网行为可信分析
教育部重点实验室开放课题
E2019
2019-10;2021-10
学术兼职
学术兼职：
美国计算机学会ACM会员，中国计算机学会会员
中国计算机学会理论计算机科学专业委员会委员
中国计算机学会形式化方法研究组委员
京公网安备 11010802027423号