刘江，副研究员，硕导，中国科学院青促会会员。2010年初在新加坡南洋理工大学获博士学位，2009年底在中国科学院软件研究所从事博士后研究，2012年2月加入中国科学院重庆绿色智能技术研究院。

主要从事基于模型与算法的系统安全性分析研究，包括混成系统安全性形式化分析、强化学习策略安全性评估、医疗影像安全性可控AI识别方法。迄今在ACM EMSOFT、FM、IEEE CDC、ACM SIGKDD、J. Symb. Log.、Ann. Pure Appl. Logic、Artif. Intell. Med.、Neural Comput. Appl.等国际会议和期刊上发表学术论文40余篇；申请国家发明专利10余项；主持国家自然科学基金两项、中国科学院西部之光重点项目与平台专项项目两项、重庆市科技局121专利云平台建设与自然基金重点联合项目两项及其他省部级项目两项；参与国家、省部级项目10余项。

混成系统形式化分析、时态逻辑时序预测、强化学习算法、医疗影像AI标注与识别

2012年入选中国科学院西部之光人才计划 

2015年入选中国科学院青年创新促进会

2024年获得“重庆市电子学会十佳优秀科技工作者”荣誉称号 

[1] TECM^*: A Data-Driven Assessment to Reinforcement Learning Methods and Application to Heparin Treatment Strategy for Surgical Sepsis. 2025, arXiv:2512.10973, Jiang Liu, Yujie Li, Chan Zhou, et al.

[2] Learning Reliable and Intuitive Temporal Logic Rules for Interpretable Time Series Classification. 2025, KDD '25: The 31st ACM SIGKDD, Yang Wang, Jiaqi Zhu, Miaomiao Li, Jiang Liu, et al.

[3] Estimating Event Probabilities via Signal Temporal Logic and First Occurrence Distributions[J]. Journal of Logic and Computation. 2024, Zhang S, Qin X, Zhang J, Liu Jiang*. 

[4] Value function assessment to different RL algorithms for heparin treatment policy of patients with sepsis in ICU[J]. Artificial Intelligence in Medicine. 2024, Liu Jiang, Xie Y, Shu X, Chen Y, et al.  

[5] Polynomial dendritic neural networks[J]. Neural Computing and Applications. 2022, Chen Y, Liu Jiang^*.  

[6] The geometric unscented Kalman filter. arXiv preprint arXiv:2009.13079. 2020, Fang C, Liu Jiang*, Ye S, et al.  

[7] Abstraction of elementary hybrid systems by variable transformation[C]. FM 2015, Liu Jiang, Zhan N, Zhao H, et al.  

[8] A linear extension of unscented Kalman filter to higher-order moment-matching[C]. In 53rd IEEE CDC. 2014, Liu Jiang, Wang Y, Zhang J.  

[9] Computing semi-algebraic invariants for polynomial dynamical systems[C]. In ACM EMSOFT 2011, Liu Jiang, Zhan N, Zhao H.  

[10] A Calculus for Hybrid CSP[C]. In APLAS 2010, Liu Jiang, Zhan N, Zhou C, et al.

科学技术部国际科技合作中心, 战略性科技创新合作, 中-印尼强降水诱发灾害智能预警技术联合实验室, 2026-07 至 2029-06, 参与

重庆市科技局, 重庆市自然基金重点联合项目, 融合时态逻辑的车辆运动轨迹可解释性预测研究, 2024-07 至 2027-06, 主持

横向课题“大规模稀疏带状线性方程组并行加速求解研究”，2023/01-2023/12，主持 

国家重点研发计划计划项目“重症和手术监护危重事件预测模型与智能干预推理决策系统研究”，2018/08-2022/09，参与 

中国科学院平台专项“动力系统并行求解研发”，2019/01-2020/12，主持  

国家自然基金“随机混成系统状态估计算法理论研究”，2017/01-2020/12，主持  

中国科学院青年创新促进会“非线性卡曼滤波器研究”，2015/01-2018/12，主持  

国家自然基金“混成系统微分不变式计算理论方法”，2013/01-2015/12，主持

中国科学院西部之光重点项目“陆地交通混成系统安全性分析与验证”，2013/01-2015/12，主持

重庆市科技局121专利云平台项目“专利云平台建设及应用服务科技支撑示范工程”，课题“专利云平台建设及应用服务示范工程协同管理创新与应用研究”，2012/09-2015/09，主持。