Yi Li bio photo

Yi Li

Assistant Professor

School of Computer Science and Engineering (SCSE)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID


I’m an assistant professor in the School of Computer Science and Engineering at the Nanyang Technological University. I received both my PhD and MSc degrees from the University of Toronto, where I was advised by Marsha Chechik. Earlier, I received my Bachelor of Computing degree from the National University of Singapore.

I’m interested in program analysis and automated reasoning techniques with applications in software engineering and software security. These include software model checking, bug finding, security testing, software evolution and maintenance. See my publication list for details.


Paper accepted by ICDCS 2023

Smart Contract Parallel Execution with Fine-Grained State Accesses accepted by ICDCS'23 (acceptance rate 18.9%)!

Paper accepted by ICSE 2023

Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis accepted by ICSE'23 (acceptance rate 26%)!