Write a Blog >>
ICGSE 2020
Fri 26 - Sun 28 June 2020
co-located with ICSE 2020
Yi Li

Registered user since Thu 25 Jan 2018

Name:Yi Li
Bio:

Yi Li is an Associate Professor at the College of Computing and Data Science, 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.

Country:Singapore
Affiliation:Nanyang Technological University
Personal website: https://liyiweb.com/
Research interests:Software Engineering, Program Analysis, Automated Reasoning, Formal Methods

Contributions

Show activities from other conferences

ICSE 2020-profile
View general profile