Academic Profile : Faculty

liyi.jpg picture
Asst Prof Li Yi
Assistant Professor, School of Computer Science and Engineering
 
External Links
 
Dr. Li Yi is an assistant professor at the School of Computer Science and Engineering of the Nanyang Technological University. He received both his PhD and MSc degrees in Computer Science from the University of Toronto, and his BComp degree from the National University of Singapore.

Dr. Li's recent work on software history analysis won Distinguished Artifact Award and ACM Distinguished Paper Award at the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME'20) and 30th International Conference on Automated Software Engineering (ASE’15), respectively. Dr. Li served as the PC Co-Chair of ICECCS'20 and ICFEM'19 Doctoral Symposium, Program Committee member of FSE'21, FASE'21, ASE'20, ICFEM'20, and ICDCS'20.
Dr. Li's research mainly focuses on 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.
 
  • A security policy verification and validation platform for smart contracts
  • Modular and Verified Software Construction Through Mining and Composition
  • Scalable Compatibility Checking of Software Component Upgrades
  • Sparse Design and Decentralized Deployment in Transportation Service for Aging Society