基本信息
李轶  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件: liyi@cigit.ac.cn
通信地址: 重庆市渝北区金渝大道85号汉国中心B座10层
邮政编码:

研究领域

软件形式化方法、符号计算、信息安全技术

招生信息

   
招生专业
081203-计算机应用技术
招生方向
软件形式化验证
符号计算
信息安全技术

教育背景

2003-09--2009-07   中国科学院成都计算所   工学博士
学历
   
学位
   

工作经历

   
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2009-07~2012-02,电子科技大学, 讲师
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
(1) 团队突出贡献奖, , 研究所(学校), 2005
专利成果
( 1 ) 一类有界闭连通域上的循环程序终止性判断方法, 发明, 2015, 第 1 作者, 专利号: 2015101811056
( 2 ) 一种用于符号线性系统的快速高斯约当消去方法, 发明, 2015, 第 1 作者, 专利号: 201510362146.5

出版信息

   
发表论文
(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 作者
发表著作
   

科研活动

   
科研项目
( 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
参与会议
   

合作情况

   
项目协作单位
   

指导学生