1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
李轶 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件： liyi@cigit.ac.cn
通信地址： 重庆市渝北区金渝大道85号汉国中心B座10层
邮政编码：
研究领域
招生信息

招生专业081203


招生方向软件形式化验证

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


学历

学位
工作经历

工作简历2009-07~2012-02,电子科技大学, 教师
2003-09~2009-07,中国科学院成都计算所, 工学博士


社会兼职
教授课程
专利与奖励

奖励信息（1）团队突出贡献奖,院级,2005


专利成果（ 1 ）一类有界闭连通域上的循环程序终止性判断方法,2015,第 1 作者,专利号: **56

出版信息

发表论文（1） 多分支单变量循环程序的终止性分析, 软件学报, 2015, 第 1 作者
（2） Termination Analysis of Programs with Periodic Orbit on the Boundary, ISRME, 2015, 第 2 作者
（3） Termination of Initialized Two Variable Homogeneous Linear Loops, ICSESS, 2015, 第 2 作者
（4） 有界闭域上的线性赋值循环终止性分析, 软件学报, 2014, 第 1 作者
（5） A Recursive Decision Method for Termination of Linear Programs, Symbolic Numeric Computation, 2014, 第 1 作者
（6） 一类带初始输入的线性循环终止性分析, 四川大学学报, 2014, 第 1 作者
（7） 线性循环程序的终止性判定, 系统科学与数学, 2013, 第 1 作者
（8） 基于完全判别系统的程序终止性证明, Proving program termination by DISCOVERER and complete discrimination system, ISISE’12, 2013, 第 1 作者
（9） Proving Program Termnation by Discoverer and Complete Discrimination System, ISISE, 2012, 第 1 作者
（10） 非线性循环的终止性分析, 软件学报, 2012, 第 1 作者
（11） 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 作者
（12） Termination of Programs over the Union of Intervals, ICACIT’10, 2010, 第 2 作者
（13） 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 作者
（14） An effective hybrid algorithm for computing symbolic determinants, Appl.Math.Comp, 2009, 第 1 作者
（15） 有理单变元表示在最优化问题上的应用, 系统科学与数学, 2009, 第 1 作者
（16） 一类循环条件非线性的程序终止性, 四川大学学报, 2009, 第 2 作者
（17） 线性程序的Ranking函数自动合成, 四川大学学报, 2009, 第 2 作者
（18） 一类半正定多项式的配平方和算法, 系统科学与数学, 2008, 第 1 作者
（19） An effective algorithm of computing symbolic determinants with multivariate polynomial entries, Appl.Math.Comp, 2007, 第 1 作者
（20） 基于降维的并行符号行列式计算, 四川大学学报, 2007, 第 1 作者


发表著作
科研活动

科研项目（ 1 ）软件正确性分析的自动推理方法及工具的开发, 主持, 省级, 2012-07--2015-08
（ 2 ）陆地交通混成系统安全性分析与验证, 参与, 部委级, 2013-01--2015-12
（ 3 ）微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
（ 4 ）零误差计算理论与应用, 参与, 部委级, 2014-06--2016-12


参与会议
合作情况

项目协作单位
指导学生