欢迎访问中国科学院重庆绿色智能技术研究院!

副研究员

刘江
性别:
职称:副研究员
学历:博士
电话:
电子邮箱:liujiang@cigit.ac.cn
职务:
简历

刘江,20104月在新加坡南洋理工大学获博士学位。2009年底赴中国科学院软件研究所从事博士后研究,主要开展混成系统安全分析与形式化方法方面的研究,2012年在中国科学院重庆绿色智能技术研究院从事计算机算法安全分析与验证等方面的研究。

所属部门

高性能应用研究中心

研究领域

混成系统、形式化方法、神经网络模型 

社会任职

中国计算机学会形式化专委执行委员, 

中国数学会数理逻辑专委会委员 

获奖及荣誉

[1] 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*. 

[2] 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.  

[3] Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. arXiv:2309.05906. 2023, Liu Jiang, Su H, Bai Y, Gu B, et al.  

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

[5] Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems[C]. NCTCS 2020, Liu Jiang, Wang J.  

[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.

代表论著

 

承担科研项目情况

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

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

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

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

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

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