个人简介：
重庆师范大学重庆国家应用数学中心讲师，硕士生导师。2022年毕业于东南大学网络空间安全学院，获工学博士学位。2020年获国家留学基金委资助，塞浦路斯大学博士联合培养一年。目前已发表学术期刊论文10余篇，其中以第一作者、通讯作者身份在控制领域顶级期刊Automatica、IEEE Trans. Automatic Control上发表4篇。主持国家自然科学基金青年科学基金项目(C类)1项，重庆市省部级纵向项目2项，教育部重点实验室开放课题2项；参与主研国家级、省部级项目3项。入选重庆市科协青年科技人才托举工程，国家天元数学西南中心西部青年教师托举项目，西部（重庆）科学城“金凤凰”青年人才,重庆师范大学“博望学者”青年拔尖人才培育计划。
教育与工作经历：
2009.09—2013.06 山东师范大学数学科学学院信息与计算科学专业，理学学士
2014.09—2017.03 东南大学数学学院应用数学专业，理学硕士
2018.03—2022.03东南大学网络空间安全学院网络空间安全专业，工学博士
2019.06—2019.08香港理工大学应用数学系研究助理
2020.11—2021.11 塞浦路斯大学电子信息与计算机工程系联合培养博士
2022.06—至今重庆师范大学重庆国家应用数学中心教师
2026.04—至今四川大学国家天元数学西南中心结对研习
研究方向：
安全形式化方法、自动机理论、信息物理系统机密性防护
科研项目：
[1] 国家自然科学基金青年科学基金项目(C类),逻辑动态网络的行为机密分析与主动防控机制研究, 2026/01-2028/12,主持
[2] 重庆市教委重点项目,基于离散事件系统理论的系统信息流安全分析与防护, 2023/10/01-2026/9/30,主持
[3]重庆市自然科学基金面上项目，基于不透明性的逻辑网络信息流安全分析与防护研究, 2025/07/01-2028/06/30,主持
[4]“系统控制与信息处理”教育部重点实验室开放课题，面向开放环境的信息物理系统上层信息层非侵入式安全防护研究, 2025/01/01-2026/12/30,主持
[5]复杂工程系统测量与控制教育部重点实验室开放课题，非线性逻辑网络的“非侵入式”安全控制机制研究, 2024/06/01-2026/05/30,主持
[6] 重庆师范大学杰出博士启动基金，离散事件系统中隐蔽性验证与综合问题研究, 2022/06/01-2024/05/30,主持
[7] 科技部国家重点研发计划课题，决策规划最优控制模型的构建及智能优化求解方法, 2023/12/01-2026/11/30,主研
[8] 重庆市自然科学基金创新发展联合基金项目，智能汽车可信软件形式化方法理论及应用, 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, May 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, Oct 2025. (SCI中科院二区Top，控制领域顶刊，中国自动化学会推荐科技期刊目录A+）
[3]R. Liu, J. Lu, Y. Liu, X. Yin, and C. N. Hadjicostis, Opacity enforcement via greedy privately-and-publicly known insertion functions.IEEE Transactions on Automatic Control,69(4), 2500-2506, April 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, Sep 2023.(SCI中科院一区Top,控制领域顶刊)
[5] R. Liu, and J. Lu, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism,Automatica, 140, 110212, June 2022.(SCI中科院二区Top，控制领域顶刊)
其他：
共指导研究生6名，其中顺利毕业2名。所指导的研究生获批市级研究生科研创新项目3项，校级研究生科研创新项目1项；指导研究生获批波兰绿山大学交换生项目1项。
