Yi Li

Registered user since Thu 25 Jan 2018

Name:Yi Li

Yi Li is an Associate Professor at the School of Computer Science and Engineering, Nanyang Technological University (NTU). He received his BComp degree in Computer Science from the National University of Singapore in 2011, and both his MSc and PhD degrees in Computer Science from the University of Toronto in 2013 and 2018, respectively. Dr. Li has been leading the Software Reliability and Security Lab (SRSLab@NTU) since 2018. His research interests are in program analysis and automated reasoning techniques with applications in software engineering and software security. Together with his research team, he develops solutions enabling the construction of high-quality software systems that are both reliable and sustainable. His work in these areas won four ACM Distinguished Paper Awards and two Best Artifact Awards at top-tier conferences, including ASE’15, ICSME’20, FSE’21, ISSTA’22, and ASE’23. He serves on the program committees of many flagship conferences in software engineering, including ICSE, FSE, ASE, and ISSTA. He co-chaired the program committees of ICFEM’23, ICECCS’20, SEAIS’22, and ICFEM’19 Doctoral Symposium.

Affiliation:Nanyang Technological University
Research interests:Software Engineering, Program Analysis, Automated Reasoning, Formal Methods


Show activities from other conferences

Using general profile