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

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

招生信息
招生专业081203-计算机应用技术

招生方向软件形式化验证
符号计算
信息安全技术


教育背景2003-09--2009-07中国科学院成都计算所工学博士

学历
学位

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

社会兼职

教授课程

专利与奖励
奖励信息（1） 团队突出贡献奖, , 研究所（学校）, 2005

专利成果（ 1 ） 一类有界闭连通域上的循环程序终止性判断方法, 发明, 2015, 第 1 作者, 专利号: 20**
（ 2 ） 一种用于符号线性系统的快速高斯约当消去方法, 发明, 2015, 第 1 作者, 专利号: 6.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

参与会议

合作情况
项目协作单位

指导学生