个人简介:
重庆师范大学重庆国家应用数学中心讲师,硕士生导师。东南大学博士,塞浦路斯大学CSC公派联培博士。入选重庆市青托,西部(重庆)科学城“金凤凰”青年人才,“博望学者”青年拔尖。指导研究生获批研究生科研创新项目4项,国内、境外访学项目各1项。
教育与工作经历:
2009.09—2013.06 山东师范大学 本科
2014.09—2017.03 东南大学 硕士研究生
2018.03—2022.03 东南大学 博士研究生
2019.06—2019.08 香港理工大学 研究助理
2020.11—2021.11 塞浦路斯大学 联培养博士
2026.07—2026.08 四川大学国家天元数学西南中心结对研习
2022.06—至今 重庆师范大学重庆国家应用数学中心教师
研究方向:
基于模型形式化方法及其应用、信息物理系统机密性
科研项目:
1.国家自然科学基金青年科学基金项目(C类), 2026/01-2028/12,主持
2.重庆市自然科学基金面上项目, 2025/07-2028/06,主持
3.“系统控制与信息处理”教育部重点实验室开放课题, 2025/01-2026/12,主持
4.复杂工程系统测量与控制教育部重点实验室开放课题,2024/06/01-2026/05,主持
5.重庆市教委重点项目, 2023/10-2026/9,主持
6.重庆师范大学杰出博士启动基金,2022/06-2024/05,主持
7.重庆市自然科学基金创新发展联合基金项目,2025/07/01-2028/06/30,主研
代表论著:
1.Z. Chen,R. Liu*, X. Han, B. Li and X. Guo, Verification and transformation for a trajectory-based weak K-step opacity,Systems & Control Letters,212, 106395, 2026 (学生一作,本人通讯,SCI中科院三区,控制领域传统老牌期刊)
2.R. Liu*, and C. N. Hadjicostis,Improved synthesis of nondeterministic publicly-known edit functions for opacity enforcement,IEEE Transactions on Automatic Control,70(10), 6921-6928, 2025.(SCI中科院二区Top,控制领域顶刊)
3.R. Liu, J. Lu, Y. Liu, X. Yin, and C. N. Hadjicostis, Opacity enforcement via greedy privately-and-publiclyknown insertion functions.IEEE Transactions on Automatic Control,69(4), 2500-2506, 2024.(SCI中科院一区Top,控制领域顶刊)
4.R. Liu, J. Lu and C. N. Hadjicostis, Opacity enforcement via attribute-based edit functions in the presence of an intended receiver.IEEE Transactions on Automatic Control,68(9): 5646-5652, 2023.(SCI中科院一区Top,控制领域顶刊)
5.R. Liu, and J. Lu, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism,Automatica, 140,110212, 2022.(SCI中科院二区Top,控制领域顶刊)