人妻 色综合网站_日韩精品无码一区二区三区免费_精品久久久无码人妻字幂_毛片24种姿势无遮无拦_国产一区二区

歡迎訪問(wèn)中國(guó)科學(xué)院重慶綠色智能技術(shù)研究院！

人才隊(duì)伍

副研究員

李軼
性別：男
職稱：副研究員
學(xué)歷：博士
電話：
電子郵箱：liyi@cigit.ac.cn
職務(wù)：
簡(jiǎn)歷

李軼，副研究員，碩士生導(dǎo)師。2009年7月在中國(guó)科學(xué)院成都計(jì)算所獲得博士學(xué)位。同年加入電子科技大學(xué)計(jì)算機(jī)學(xué)院，2012年2月加入中國(guó)科學(xué)院重慶綠色智能技術(shù)研究院。他長(zhǎng)期專(zhuān)注于計(jì)算機(jī)代數(shù)推理和程序自動(dòng)驗(yàn)證交叉領(lǐng)域方面的基礎(chǔ)性研究。研究工作的重點(diǎn)包括實(shí)代數(shù)不等式正性判定，程序正確性驗(yàn)證等。曾在加拿大西安大略大學(xué)數(shù)學(xué)系ORCCA實(shí)驗(yàn)室，西班牙康普頓斯大學(xué)計(jì)算機(jī)科學(xué)系COSTA實(shí)驗(yàn)室進(jìn)行合作研究。主持國(guó)家自然科學(xué)基金2項(xiàng)、重慶市科技攻關(guān)項(xiàng)目1項(xiàng)以及重慶市自然科學(xué)基金1項(xiàng)，參與多項(xiàng)國(guó)家自然科學(xué)基金、中科院西部之光等項(xiàng)目。先后在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC, ESEC/FSE, 《軟件學(xué)報(bào)》,《系統(tǒng)科學(xué)與數(shù)學(xué)》等期刊會(huì)議發(fā)表論文30余篇。  

所屬部門(mén)

自動(dòng)推理與認(rèn)知中心

研究領(lǐng)域

 程序驗(yàn)證、符號(hào)計(jì)算、智能交通 

社會(huì)任職

 

獲獎(jiǎng)及榮譽(yù)

 3次獲得部門(mén)優(yōu)秀員工稱號(hào)

代表論著

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

承擔(dān)科研項(xiàng)目情況

1.“多項(xiàng)式循環(huán)程序的終止性研究及其應(yīng)用”，國(guó)家自然科學(xué)基金項(xiàng)目，2016-2019， 主持，已結(jié)題。

2.“軟件正確性分析的自動(dòng)推理方法與工具的開(kāi)發(fā)”,重慶市科技攻關(guān)項(xiàng)目，2013-2016，主持，已結(jié)題。
3.“幾類(lèi)While循環(huán)終止性分析的理論、方法及其應(yīng)用”，國(guó)家自然科學(xué)基金項(xiàng)目，2012-2014， 主持，已結(jié)題。