个人简介
招生专业
081203-计算机应用技术
招生方向
软件形式化验证
符号计算
信息安全技术
教育背景
2003-09--2009-07 中国科学院成都计算所 工学博士
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2009-07~2012-02,电子科技大学, 讲师
奖励信息
（1） 团队突出贡献奖, , 研究所（学校）, 2005
专利成果
（ 1 ） 一类有界闭连通域上的循环程序终止性判断方法, 发明, 2015, 第 1 作者, 专利号: 2015101811056
（ 2 ） 一种用于符号线性系统的快速高斯约当消去方法, 发明, 2015, 第 1 作者, 专利号: 201510362146.5
科研项目
（ 1 ） 软件正确性分析的自动推理方法及工具的开发, 主持, 省级, 2012-07--2015-08
（ 2 ） 陆地交通混成系统安全性分析与验证, 参与, 部委级, 2013-01--2015-12
（ 3 ） 微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
（ 4 ） 零误差计算理论与应用, 参与, 部委级, 2014-06--2016-12
（ 5 ） 多项式循环程序的终止性研究及其应用, 主持, 国家级, 2016-01--2019-12
（ 6 ） 几类While循环终止性分析的理论、方法及其应用, 主持, 国家级, 2012-01--2014-12
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） 计算最终线性秩函数的新方法, 计算机科学, 2017, 第 2 作者
（2） Witness to nontermination of linear programs, Theoretical Computer Science, 2017, 第 1 作者
（3） 有界闭连通域上的非线性循环终止性分析, 软件学报, 2016, 第 1 作者
（4） Eventual Linear Ranking Functions for Multi-path Linear Loops, 2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference, 2016, 第 2 作者
（5） The L-depth Eventual Linear Ranking Functions for Single-path Linear Constraint Loops, the 10th International Symposium on Theoretical Aspects of Software Engineering（TASE‘10）, 2016, 第 1 作者
（6） Termination of single-path polynomial loop programs, ICTAC2016, 2016, 第 1 作者
（7） 多分支单变量循环程序的终止性分析, 软件学报, 2015, 第 1 作者
（8） Termination Analysis of Programs with Periodic Orbit on the Boundary, ISRME, 2015, 第 2 作者
（9） Termination of Initialized Two Variable Homogeneous Linear Loops, ICSESS, 2015, 第 2 作者
（10） 有界闭域上的线性赋值循环终止性分析, 软件学报, 2014, 第 1 作者
（11） A Recursive Decision Method for Termination of Linear Programs, ACM-Symbolic Numeric Computation, 2014, 第 1 作者
（12） 一类带初始输入的线性循环终止性分析, 四川大学学报, 2014, 第 1 作者
（13） 线性循环程序的终止性判定, 系统科学与数学, 2013, 第 1 作者
（14） 基于完全判别系统的程序终止性证明, Proving program termination by DISCOVERER and complete discrimination system, ISISE’12, 2013, 第 1 作者
（15） Proving Program Termnation by Discoverer and Complete Discrimination System, ISISE, 2012, 第 1 作者
（16） 非线性循环的终止性分析, 软件学报, 2012, 第 1 作者
（17） Automatic synthesis of multiple ranking functions with supporting invariants via DISCOVERER, Proc. of the 3rd International Conference on Advanced Computer Theory and Engineering, 2010, 第 1 作者
（18） Termination of Programs over the Union of Intervals, ICACIT’10, 2010, 第 2 作者
（19） Automatic discovery of non-linear ranking functions of loop programs, Proc. of the 2nd IEEE International Conference on Computer Science and Information Technology, 2009, 第 1 作者
（20） An effective hybrid algorithm for computing symbolic determinants, Appl.Math.Comp, 2009, 第 1 作者
（21） 有理单变元表示在最优化问题上的应用, 系统科学与数学, 2009, 第 1 作者
（22） 一类循环条件非线性的程序终止性, 四川大学学报, 2009, 第 2 作者
（23） 线性程序的Ranking函数自动合成, 四川大学学报, 2009, 第 2 作者
（24） 一类半正定多项式的配平方和算法, 系统科学与数学, 2008, 第 1 作者
（25） An effective algorithm of computing symbolic determinants with multivariate polynomial entries, Appl.Math.Comp, 2007, 第 1 作者
（26） 基于降维的并行符号行列式计算, 四川大学学报, 2007, 第 1 作者
京公网安备 11010802027423号