Fields of Research (FoR)
Software engineering, Software testing, verification and validationBiography
Yulei Sui is an Associate Professor and ARC Future Fellow at UNSW. His research interests lie in Software Engineering and Program Analysis. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve software reliability and quality. His recent interest lies at the intersection of software engineering, natural languages and code LLMs. Specifically, his current research...view more
Yulei Sui is an Associate Professor and ARC Future Fellow at UNSW. His research interests lie in Software Engineering and Program Analysis. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve software reliability and quality. His recent interest lies at the intersection of software engineering, natural languages and code LLMs. Specifically, his current research projects explore testing, analysis and verification for software systems and AI models.
His work has appeared in conferences and journals in program analysis and software engineering. His research has received recognition through a number of Best/Distinguished paper awards at conferences, including ICSE 2025, 2018, FSE 2024, OOPSLA 2020, SAS 2019, and CGO 2013, and has been supported by competitive grants and fellowships such as ARC Discovery Projects, JSPS Invitational Fellowship, and industry awards (Amazon and Google). He is currently an ARC Future Fellow (2023-2026), a UNSW Scientia Fellow and a Fellow of Engineers Australia (FIEAust).
He leads the development of SVF, an open-source framework for code analysis and verification, built in collaboration with students and colleagues. His community contributions include service on editorial boards (e.g., Associate Editor for IEEE Transactions on Software Engineering and IEEE Transactions on Reliability) and program committees, as well as program co-chair roles at conferences including LCTES 2024, SAS 2025, and ISSRE 2025.
My Grants
National Competitive Grants:
- ARC Discovery Project (DP250101396), Certifying Code Language Models to Fortify Software Engineering Foundations, Lead CI, 2025-2027
- ARC Future Fellowship (FT220100391), Learning Software Security Analysers with Imperfect Data, Sole CI, 2023-2026
- ARC Discovery Project (DP210101348), Learning to Pinpoint Emerging Software Vulnerabilities, Lead CI, 2021-2023
- ARC Discovery Project (DP200101328), Adversarial Learning of Hybrid Representation, 2nd CI, 2020-2022
- ARC DECRA (DE170101081), Adaptive Value-Flow Analysis to Improve Code Reliability and Security, Sole CI, 2017 - 2019
My Qualifications
Ph.D. in Computer Science from UNSW Sydney
My Awards
- 2025 Amazon Research Award (ARA)
- 2025 Distinguished Paper Award, 47th International Conference on Software Engineering (ICSE 2025)
- 2024 Distinguished Paper Award, International Conference on the Foundations of Software Engineering (FSE 2024)
- 2024 Fellow of Engineers Australia (FIEAust)
- 2023-2026 ARC Future Fellow
- 2023 UNSW Scientia Fellow
- 2023 Google ASPIRE Award
- 2022 JSPS Invitational Fellowship
- 2021 ICSE 2021 Distinguished Reviewer
- 2020 ACM SIGPLAN Distinguished Paper Award (OOPSLA 2020)
- 2020 ISSRE Best Paper Nominee (ISSRE 2020)
- 2019 Radhia Cousot Best Paper Award (SAS 2019)
- 2018 ACM SIGSOFT Distinguished Paper Award (ICSE 2018)
My Engagement
External:
- Associate Editor, IEEE Transactions on Software Engineering
- Associate Editor, IEEE Transactions on Reliability
- Program Chair of 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)
- Program Co-Chair of 32nd Static Analysis Symposium (SAS 2025)
- Program Co-Chair of 36th IEEE International Symposium on Software Reliability Engineering. (ISSRE 2025)
Internal:
- Postgraduate Coordinator (Candidature), School of Computer Science and Engineering
- Member, Higher Degree Committee, Faculty of Engineering