李轶，副研究员，硕士生导师。2009年7月在中国科学院成都计算所获得博士学位。同年加入电子科技大学计算机学院，2012年2月加入中国科学院重庆绿色智能技术研究院。他长期专注于计算机代数推理和程序自动验证交叉领域方面的基础性研究。研究工作的重点包括实代数不等式正性判定，程序正确性验证等。曾在加拿大西安大略大学数学系ORCCA实验室，西班牙康普顿斯大学计算机科学系COSTA实验室进行合作研究。主持国家自然科学基金2项、重庆市科技攻关项目1项以及重庆市自然科学基金1项，参与多项国家自然科学基金、中科院西部之光等项目。先后在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC, ESEC/FSE, 《软件学报》,《系统科学与数学》等期刊会议发表论文30余篇。
1. Yi Li, Xie Li, Yong Li, Xuechao Sun, AndreaTurrini, Lijun Zhang. Synthesizing Ranking Functions for Loop Programs via SVM. Theoretical Computer Science, 935, 2022.
2. Yi Li,Yue Yuan, Wenchang Shi. Detecting multiphase linear ranking functions for single-path linear-constraint loops. International Journal on Software Tools for Technology Transfer, 23,55-67,2021.
3. Yi Li, Wenyuan Wu, Yong Feng. On Ranking Functions for Single-Path Linear-Constriant Loops. International Journal on Software Tools for Technology Transfer, 22, 655-666,2020.
4. Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Trurrini, Lijun Zhang. SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM. ESEC/FSE2020,1635-1639, 2020
5. Yi Li, Xuechao Sun, Yong Li, Andrea Trurrini, Lijun Zhang. Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM2019, 438-454, 2019
6. Yi Li. Witness to Non-termination of Linear Programs, Theoretical Computer Science, 681, 2017
7. Yi Li. Termination of Semi-algebraic Loop Programs, SETTA2017, 131-146, 2017
1.“多项式循环程序的终止性研究及其应用”，国家自然科学基金项目，2016-2019， 主持，已结题。
2.“软件正确性分析的自动推理方法与工具的开发”,重庆市科技攻关项目，2013-2016，主持，已结题。
3.“几类While循环终止性分析的理论、方法及其应用”，国家自然科学基金项目，2012-2014， 主持，已结题。
