faculty and staff
directors
Expert
   Location: Home > People > Expert
Name:
 Li Yi
Position:
Degree:
 Doctor
Address:
 No.266 Fangzheng Avenue,Shuitu Hi-tech Industrial Park, Shuitu Town, Beibei District, Chongqing
Phone:
Zip Code:
Fax:
Email:
Resume：

　　Yi Li is an associate professor of ARCC. He received his PhD in Computer Science from the Graduate University of Chinese Academy of Sciences in 2009. He joined ARCC in 2012 and his areas of research are symbolic computation and program verification. His current research interests include resultant computation, termination analysis, automatic loop-invariant generation.

R&D Scopes：
Public Services：

Awards and Honors：
Major Published Works：

Research Works：