宁波大学信息科学与工程学院导师：钮俊

发布时间：2021-11-20 编辑：考研派小莉推荐访问：

宁波大学信息科学与工程学院导师：钮俊内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+宁波大学研究生
微信,为你答疑,送资源

宁波大学信息科学与工程学院导师：钮俊正文

[导师姓名]
钮俊

[所属院校]
宁波大学

[基本信息]
导师姓名：钮俊
性别：男
人气指数：2686
所属院校：宁波大学
所属院系：信息科学与工程学院
职称：副教授
导师类型：
招生专业：计算机技术、计算机应用技术
研究领域：软件分析软件安全微服务物联网

[通讯方式]
办公电话：13586889912
电子邮件：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项；

[教育背景]
以上老师的信息来源于学校网站，如有更新或错误，请联系我们进行更新或删除，联系方式

添加宁波大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[宁波大学考研分数线、宁波大学报录比、宁波大学考研群、宁波大学学姐微信、宁波大学考研真题、宁波大学专业目录、宁波大学排名、宁波大学保研、宁波大学公众号、宁波大学研究生招生）]即可在手机上查看相对应宁波大学考研信息或资源。