副研究员
李轶，副研究员，硕士生导师。2009年7月在中国科学院成都计算所获得博士学位。同年加入电子科技大学计算机学院，2012年2月加入中国科学院重庆绿色智能技术研究院。他长期专注于计算机代数推理和程序自动验证交叉领域方面的基础性研究。研究工作的重点包括实代数不等式正性判定，程序正确性验证等。曾在加拿大西安大略大学数学系ORCCA实验室，西班牙康普顿斯大学计算机科学系COSTA实验室进行合作研究。主持国家自然科学基金2项、重庆市科技攻关项目1项以及重庆市自然科学基金1项，参与多项国家自然科学基金、中科院西部之光等项目。在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC, ESEC/FSE, 《软件学报》,《系统科学与数学》等期刊和会议发表论文30余篇。
自动推理与认知中心
程序验证、符号计算、智能交通
3次获得部门优秀员工称号
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. Yue Yuan, Yi Li, 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
中国科学院重庆绿色智能技术研究院 版权所有京ICP备05002857号渝公网安备50010943035号
