王瑞 博士
教授
首都师范大学，信息工程学院，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.**, 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年优秀主讲