当前位置: X-MOL首页全球导师 国内导师 › 李轶

个人简介

招生专业 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 作者

推荐链接
down
wechat
bug