团队队伍

姓 名： 刘凯荣

职 称： 副教授

所属系别： 统计与运筹系

学科专业： 应用数学

办公地点：沙河E403-1

办公电话：

电子邮箱：krliu@buaa.edu.cn

教育背景

l 2012.9-2016.6 大连理工大学 学士

l 2016.9-2022.6 太阳集团122cc 博士

工作简历

l 2022.7-2025.11 太阳集团122cc 博士后

l 2025.11-至今 太阳集团122cc 副教授

科研项目

l 国家自然科学基金青年科学基金项目，随机混成系统鲁棒安全性的代数刻画与机械化验证，2025-2027，主持.

l 国家重点研发计划，安全攸关软件框架验证的数学方法与应用，2022-2027，项目骨干.

l 中国博士后科学基金第74 批面上资助，随机混成系统控制安全性的数学理论与机械化方法，2023-2025，主持.

l 太阳集团122cc前沿交叉基金项目，数据驱动下随机动力系统的控制安全性，2023-2025，主持.

代表作论著

1. Kairong Liu, Meilun Li, Zhikun She. Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming, SIAM Journal on Control and Optimization, 2021, vol. 59, no. 1, pp. 365-392.

2. Kairong Liu and Zhikun She. Safety Verification for Regime-Switching Jump Diffusions via Barrier Certificates, Nonlinear Analysis: Hybrid Systems, 2023, vol. 50, 101401 .

3. Kairong Liu and Zhikun She. Analysis and Verification of Uniform Moment Exponential Stability for Stochastic Hybrid Systems Driven by Markovian Switching and Poisson Process, Discrete and Continuous Dynamical Systems - Series B, 2024, vol. 29, no. 2, pp. 601-626.

4. Kairong Liu, Meilun Li, Zhikun She. Reachability Estimation of Stochastic Dynamical Systems by

Semi-defifinite Programming, IEEE 58th Conference on Decision and Control (CDC), 2019, pp. 7727-7732.

5. Kairong Liu, Andrew Hutchins, Yong Wang. Identifying Cell Type Specific TF Combinatorial Regulation via a Two-stage Statistical Method, IEEE International Conference on Big Data and Smart Computing, 2020, pp. 350-357.

6. Ruiqi Hu, Kairong Liu, Zhikun She. Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances, ACM Transactions on Embedded Computing Systems, 2023, to be appeared. (作者按字母序排列)

7. Ruiqi Hu, Kairong Liu, Zhikun She. Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances, 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)，2022. (作者按字母序排列)

8. Quanyi Liang, Kairong Liu, Gang Meng, Zhikun She. Minimization of the Lowest Eigenvalue for a Vibrating Beam, Discrete And Continuous Dynamical Systems, 2018, vol. 38, no. 4, pp.2079-2092. (作者按字母序排列)

9. Xin Jiang, Kairong Liu, Gang Meng, Zhikun She. Continuity of the Eigenvalues for a Vibrating Beam, Applied Mathematics Letters, 2017, vol. 67, pp. 60-66. (作者按字母序排列)

教学活动

l 高等代数I习题课    2022、2023、2024

l 高等代数II习题课   2023、2024  

所获奖励

l 北京市优秀毕业生

社会工作

l

推荐链接