Yi Li

Yi Li is an Associate Professor at the College of Computing and Data Science, Nanyang Technological University (NTU), Singapore. He leads the Software Reliability and Security Lab (SRSLab@NTU) which focuses on program analysis and automated reasoning techniques for software engineering and security applications.

Dr. Li received his BComp degree in Computer Science from the National University of Singapore in 2011, followed by MSc (2013) and PhD (2018) degrees in Computer Science from the University of Toronto. His educational background has positioned him at the forefront of software reliability research.

His research interests span software engineering, program analysis, automated reasoning, and formal methods, with particular focus on software reliability, security, and smart contract analysis. Dr. Li's work develops practical solutions for constructing high-quality software systems that are both reliable and sustainable. His research has identified critical issues in API documentation, smart contract security, program termination, and library compatibility across multiple programming ecosystems.

Dr. Li's publications demonstrate consistent contributions to software engineering research over the past five years, with recent work focusing on smart contract analysis, API documentation verification, and program termination detection. His research methodology often combines static and dynamic analysis techniques with machine learning approaches to address challenging problems in software reliability and security.

• Five ACM Distinguished Paper Awards at top conferences
• Two Best Artifact Awards recognizing research reproducibility
• Publications at premier venues including ASE, ISSTA, FSE, and ICSE

Dr. Li actively contributes to the software engineering community through service on program committees of flagship conferences (ICSE, FSE, ASE, ISSTA) and co-chairing program committees for ICFEM'23, ICECCS'20, SEAIS'22, and ICFEM'19 Doctoral Symposium. His lab, SRSLab@NTU, has developed multiple influential tools including InvCon, DocCon, and EndWatch, while fostering research in software reliability and security for emerging technologies.