LI, Yi bio photo

LI, Yi

Assistant Professor

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

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

Email Twitter LinkedIn Github Bitbucket Google Scholar


I am 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 but not limit to various aspects of software engineering, such as software model checking, bug finding, software requirements and history analysis. My research also addressed important problems in SMT solving techniques and artificial intelligence.


Paper accepted by ICSE 2020

Typestate-Guided Fuzzer for Discovering Use-After-Free Vulnerabilities accepted by ICSE'20 (acceptance rate 20.9%)!

Paper accepted by FSE 2019

DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems accepted by FSE'19 (acceptance rate 24.4%)!