唐人阁论坛2025,51品茶楼平台官网,老哥稳论坛官网登录入口,51风楼阁官网登录入口怎么登录

性别：男         最高学位：理学博士        博导/硕导：硕导

邮箱：liujiang@cigit.ac.cn

个人简介：

2010-2012年在中科院软件所计算机科学国家重点实验室博士后流动站工作，2012年加入中科院重庆绿色智能技术研究院。入选中科院“西部之光”人才培养计划，中科院“青年创新促进会”。主持国家自然基金项目“混成系统微分不变式计算理论方法”以及“随机混成系统状态估计算法理论研究”，中国科学院“西部之光”重点项目“陆地交通混成系统安全性分析与验证“，中国科学院青年创新促进会项目“非线性卡曼滤波器研究”，中科院装备预研联合基金项目”超大规模XXXX的高效并行求解技术“，重庆科委“121”科技支撑示范工程项目“专利云平台建设及应用服务；参与国家重点研发计划“重症和手术监护危重事件”项目。在数理逻辑领域顶级杂志JSL与APAL，以及计算机学会B类会议EMSOFT,FM等已发表论文二十余篇。

教育经历：

2002年毕业于西南师范大学（现西南大学）

2005年在四川大学数学学院获得硕士学位

2010年毕业于新加坡南洋理工大学数理逻辑专业，理学博士

主要研究方向：

计算机算法理论，形式化方法，非线性估计, Kalman滤波及其应用

招生专业：

计算机科学与技术，电子信息

代表性成果（含文章、专利、科研项目等）：

论文：

1、 .Abstraction of Elementary Hybrid Systems by Variable Transformation, FM2015, 2015, 第 1 作者

2、基于高斯分布的多层无?？ǘ瞬ㄋ惴? 控制与决策, 2015, 第 1 作者

3、 A Linear Extension of Unscented Kalman Filter to Higher-Order Moment-Matching, 3rd IEEE CDC, 2014, 第 1 作者

4、 Discovering Non-terminating Inputs for Multi-path Polynomial Programs, Journal of Systems Science and Complexity, 2014, 第 1 作者

5、 Almost universal cupping and diamond embeddings, Ann. Pure Appl. Logic , 2012, 第 1 作者

6、 Computing semi-algebraic invariants for polynomial dynamical systems, EMSOFT2011, 2011, 第 1 作者

7、 A Calculus for Hybrid CSP, APLAS2010, 2010, 第 1 作者

专利：

1、 一种高阶矩匹配的多层无?？ǘ瞬ㄆ鞯南咝岳┱狗椒? 发明, 2014, 第 1 作者, 专利号: 201410263570X

2、 基于高阶矩匹配的无?？ǘ瞬ㄆ鞯亩嘞钍椒椒? 发明, 2014, 第 1 作者, 专利号: 201410219994.6

项目：

1、 混成系统微分不变式计算理论方法, 主持, 国家级, 2013-01--2015-12

2、 陆地交通混成系统安全性分析与验证, 主持, 部委级, 2013-01--2015-12

3、 专利云平台建设及应用服务, 主持, 省级, 2013-01--2015-12

4、 中国科学院青年创新促进会, 主持, 部委级, 2015-01--2018-12

5、 随机混成系统状态估计算法理论研究, 主持, 国家级, 2017-01--2020-12

所获荣誉：