专任教师

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

王瑞

 

王瑞 博士

  • 教授
  • 首都师范大学,信息工程学院,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/li>


 

学生培养

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

 

所获奖励

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