Academic Profile : Faculty

liyi-white.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 works have won three ACM SIGSOFT Distinguished Paper Awards at ISSTA'22 and ASE'15, and two Best Artifact Awards at FSE'21 and ICSME'20, respectively. Dr. Li served as the PC Co-Chair of ICECCS'20, SEAIS'22, and ICFEM'19 Doctoral Symposium. He also served as the Diversity, Inclusion and Hybridization Co-Chair of FSE'22, Web Chair of ISSTA'20, and Program Committee member of major software engineering, formal methods, and distributed computing conferences including ICSE, FSE, ASE, FM, FASE, ICFEM, and ICDCS.
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
  • Algorand Centre of Excellence at NTU (ACE@NTU) [under NTU Centre in Computational Technologies for Finance]
  • 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
Awards
ACM SIGSOFT Distinguished Paper Award – 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022), for the paper “Finding Permission Bugs in Smart Contracts with Role Mining”

ACM SIGSOFT Distinguished Paper Award – 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022), for the paper “Cross-Lingual Transfer Learning for Statistical Type Inference”

Best Artifact Award – 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021), for the paper “DIFFBASE: A Differential Factbase for Effective Software Evolution Management”

Best Artifact Award – 36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020), for the paper “GenSlice: Generalized Semantic History Slicing”

ACM SIGSOFT Distinguished Paper Award – 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), for the paper “Semantic Slicing of Software Version Histories”
 
Courses Taught
School of Computer Science and Engineering, NTU
- CE/CZ4067 Software Security: 2021/22, 2020/21, 2019/20, 2018/19
- CE/CZ4153 Blockchain Technology: 2022/23

Nanyang Business School, NTU
- AN8014 Introduction to Cyber Security: 2021/22
- Design Thinking, Blockchain Technology, Cybersecurity: 2021/22, 2020/21

Institute for Pedagogical Innovation, Research & Excellence (InsPIRE), NTU
- CC0007 Science & Technology for Humanity: 2022/23

Nanyang Technopreneurship Center, NTU
- CS104 Application Security in Practice: 2020/21
- Blockchain Innovation Strategy Programme: 2021/22, 2019/20
 
Supervision of PhD Students
Xiufeng Xu, NTU
Jian Wang, NTU
Zhiming Li, NTU (co-supervision)
Ye Liu, NTU
Yun Tang, NTU (co-supervision)
Xiuheng Wu, NTU