专任教师

您目前的位置: 首页» 师资队伍» 专任教师» 副教授

王瑞

王瑞 博士
? 教授
? 首都师范大学,信息工程学院,213办公室
? Email: rwang04 at cnu dot edu dot cn

个人简介
王瑞,首都师范大学信息工程学院教授。2012毕业于清华大学计算机科学与技术系,获得计算机科学与技术工学博士学位。主要研究方向为机器人安全验证、形式化方法和信息物理系统。研究成果在国际顶级会议ICSE、EMSOFT、ICRA、A类顶级期刊TC、SCI1区期刊TII上发表,累计发表论文40余篇。主持国家自然科学基金2项,北京市教委、阿里达摩院等项目。中国计算机学会形式化专委委员,IEEE会员,ISO国际服务机器人标准化工作组(ISO/TC184/SC2/WG6)专家。曾担任ICST2019软件大赛主席,ICRA2014、COMPSAC2018分会场主席。

工作经历
? 2019.01 - 今:首都师范大学,教授
? 2016.01 - 2018.12:首都师范大学,副教授
? 2012.07 - 2015.12:首都师范大学,讲师
? 2016.11 - 2017.11:美国波特兰州立大学,访问学者

教育经历
? 2004.9 - 2012.7 : 清华大学,计算机科学与技术 工学博士
? 2000.9 - 2004.7 : 西安交通大学,计算机科学与技术 工学学士

代表论文
期刊
? Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li: From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Industrial Informatics 14(4): 1712-1721 (2018) (SCI IF 5.430)
? Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song. A Formal Model-Based Design Method for Robotic Systems. IEEE System Journal, DOI: 10.1109/JSYST.2018.2867285, 2018. (SCI, IF 4.337)
? R Wang,WNN Hung,G Yang,X Song. Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Transactions on Computers , Volume 65,No.10, Oct. 2016, PP, 3217-3223, SCI, (SCI, JCR-Q1, CCF-A)
? Kang Yang(研究生), Rui Wang(通信作者), Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi: Sensor attack detection using history based pairwise inconsistency. Future Generation Comp. Syst. 86: 392-402 (2018) (SCI IF 4.639)
? Jiang Y, Liu H, Song H, Kong H, Wang R(通信作者), Guan Y, Sha Liu, Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller[J]. IEEE Transactions on Intelligent Transportation Systems, Volume: 19, Issue: 10 , Oct. 2018. (SCI IF4.051)
? Jiang Y, Song H, Wang R(通信作者),et al. Data-centered runtime verification of wireless medical cyber-physical system[J]. IEEE Transactions on Industrial Informatics, 2017, 13(4): 1900-1909. (SCI IF 5.430)

会议论文
? Chenxia Luo(研究生), Rui Wang(通信作者), Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi: Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC 2018: PP. 204-212 (CCF-C)
? Kang Yang(研究生), Rui Wang(通信作者), Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi. Enhanced Resilient Sensor Attack Detection Using Fusion Interval and Measurement History. EMSOFT 2018. September 30-October 5, 2018, Italy. (CCF-B)
? Xinxin Li(研究生), Rui Wang(通信作者),Yu Jing, Yong Guan, Xiaojuan Li, Xiaoyu Song. Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS 2017, 2017.11.9-14, Japan. (CCF-C)
? Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha:"Use Runtime Verification to Improve the Quality of Medical Care Practice", ACM/IEEE 38th International Conference on Software Engineering (ICSE ): 112-122, May 14-22, Austin USA, 2016. (CCF-A)

科研项目
? [主持]国家自然科学基金面上项目:形式模型驱动的人机协作机器人设计与验证方法研究,2019-2022,60万
? [主持]国家自然科学基金青年项目:基于概率时间自动机的移动机器人运动规划方法研究,2014-2016,23万
? [主持]北京市教委面上项目:动态环境下基于MDP的机器人路径规划研究,2015-2017,15万
? [主持]中思博安横向项目:区块链安全测评技术,201811-201911,15万
? [主持]电子科技大学合作课题:采集控制与波形存储软件测试与验证,201808-201908,9.6万
? [COPI]阿里达摩院项目:基于业务特征的 Linux内核测试模型,2018-2019,50万

讲授课程
? 本科一年级 春季 数理逻辑
? 硕士研究生 春季 形式化方法
? 硕士留学生 春季 Model Checking


学生培养
? 2018年研究生杨康、罗晨霞获国家奖学金
? 2016届研究生王亚获国家奖学金

所获奖励
? 2018信息工程学院青年教师基本功大赛一等奖
? 2018年首都师范大学青年教师教学基本功大赛三等奖
? 2016年优秀主讲