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