I received a Ph.D. in Computer Science from the Chinese Academy of Sciences (CAS) in 2009. After completing my Ph.D., I joined the Computer Reasoning and Trusted Computing Laboratory at the University of Electronic Science and Technology as a lecturer. In February 2012, I became an associate professor at the Automated Reasoning and Cognition Center at the Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences.

My research areas include: Computer Algebra, Formal Methods, Intelligent transportation.

The Outstanding Employee Award

1. Li, Y.: Termination of Single-Path Polynomial Loop Programs. In: ICTAC’16, pp.33-50, Springer. (2016)

2. Li, Y.: Witness to Non-Termination of Linear Programs. Theoretical Computer Science. 681：75-100. (2017)

3. Li, Y.: Termination of Semi-Algebraic Loop Programs. In: SETTA’17, pp.131-146, Springer. (2017)

4. Li, Y., Wu, W., Feng, Y.: On Ranking Functions for Single-Path Linear constraint Loops. Int J Softw Tools Technol Transfer.22:655-666 (2020)

5. Li, Y., Li, X., Li, Y., Sun, X., Turrini, A., Zhang L.: A Synthesizing Ranking Functions for Loop Programs via SVM. Theoretical Computer Science. 935:1-20. (2022)