李軼，副研究員，碩士生導師。2009年7月在中國科學院成都計算所獲得博士學位。同年加入電子科技大學計算機學院，2012年2月加入中國科學院重慶綠色智能技術研究院。他長期專注于計算機代數(shù)推理和程序自動驗證交叉領域方面的基礎性研究。研究工作的重點包括實代數(shù)不等式正性判定，程序正確性驗證等。曾在加拿大西安大略大學數(shù)學系ORCCA實驗室，西班牙康普頓斯大學計算機科學系COSTA實驗室進行合作研究。主持國家自然科學基金2項、重慶市科技攻關項目1項以及重慶市自然科學基金1項，參與多項國家自然科學基金、中科院西部之光等項目。先后在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC, ESEC/FSE, 《軟件學報》,《系統(tǒng)科學與數(shù)學》等期刊會議發(fā)表論文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.“多項式循環(huán)程序的終止性研究及其應用”，國家自然科學基金項目，2016-2019， 主持，已結題。
2.“軟件正確性分析的自動推理方法與工具的開發(fā)”,重慶市科技攻關項目，2013-2016，主持，已結題。
3.“幾類While循環(huán)終止性分析的理論、方法及其應用”，國家自然科學基金項目，2012-2014， 主持，已結題。
