• <fieldset id="qkyym"></fieldset>
    <abbr id="qkyym"></abbr>
    <strike id="qkyym"></strike>
    

    <button id="qkyym"><noscript id="qkyym"></noscript></button>
    • <center id="qkyym"></center>
    两性色午夜视频免费网,91精品欧美激情在线播放,国产小视频在线观看免费,欧美日韩一区在线观看
    






    
      

    


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

    
	


    
	
    
		
		
    
			
    
		
    
		
    
			
    			
			
    
		
    
		
	
    

    






    
    

    


    
    
    
        
    人才隊伍
    
        

    



    
    
    副研究員
    
    
    
        
    
            
    

            
    
                
    
                    李軼
                    
                
    
                
    
                    
    性別：男
    
                    
    職稱(chēng)：副研究員
    
                    
    學(xué)歷：博士
    
                    
    電話(huà)：
    
                    
    電子郵箱：liyi@cigit.ac.cn
    
                    
    職務(wù)：
    
                
    
            
    
        
    

        
    

            
    簡(jiǎn)歷
    
            
    
                
    李軼，副研究員，碩士生導師。2009年7月在中國科學(xué)院成都計算所獲得博士學(xué)位。同年加入電子科技大學(xué)計算機學(xué)院，2012年2月加入中國科學(xué)院重慶綠色智能技術(shù)研究院。他長(cháng)期專(zhuān)注于計算機代數推理和程序自動(dòng)驗證交叉領(lǐng)域方面的基礎性研究。研究工作的重點(diǎn)包括實(shí)代數不等式正性判定，程序正確性驗證等。曾在加拿大西安大略大學(xué)數學(xué)系ORCCA實(shí)驗室，西班牙康普頓斯大學(xué)計算機科學(xué)系COSTA實(shí)驗室進(jìn)行合作研究。主持國家自然科學(xué)基金2項、重慶市科技攻關(guān)項目1項以及重慶市自然科學(xué)基金1項，參與多項國家自然科學(xué)基金、中科院西部之光等項目。先后在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC, ESEC/FSE, 《軟件學(xué)報》,《系統科學(xué)與數學(xué)》等期刊會(huì )議發(fā)表論文30余篇。
    
    
            
    
            
    所屬部門(mén)
    
            
    
                
    自動(dòng)推理與認知中心
    
            
    
            
    研究領(lǐng)域
    
            
    
                
     程序驗證、符號計算、智能交通 
    
            
    
            
    社會(huì )任職
    
            
    
                
     
    
            
    
            
    獲獎及榮譽(yù)
    
            
    
                
     3次獲得部門(mén)優(yōu)秀員工稱(chēng)號
    
            
    
            
    代表論著(zhù)
    
            
    
                
    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)程序的終止性研究及其應用”，國家自然科學(xué)基金項目，2016-2019， 主持，已結題。
     

    
 2.“軟件正確性分析的自動(dòng)推理方法與工具的開(kāi)發(fā)”,重慶市科技攻關(guān)項目，2013-2016，主持，已結題。

     

    
 3.“幾類(lèi)While循環(huán)終止性分析的理論、方法及其應用”，國家自然科學(xué)基金項目，2012-2014， 主持，已結題。

     

    
  

    
            
    

            

        
    

    
    

    


    







	

    
	
    
		
  • 
			
				
			
		
    • 
		
  • 
			
				
			
		
    • 
		
  • 
			
				
			
		
    •