Fields of Research (FoR)
Software engineering, Software testing, verification and validationBiography
Yulei Sui is interested in Software Engineering and Program Analysis. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of software engineering, natural languages and code LLMs. Specifically, his current research projects include analysis and verification for...view more
Yulei Sui is interested in Software Engineering and Program Analysis. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of software engineering, natural languages and code LLMs. Specifically, his current research projects include analysis and verification for software systems and AI models.
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)
- 2023 UNSW Scientia Fellow
- 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 Young Researcher 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
Location
Follow
Publications
ORCID as entered in ROS
https://orcid.org/0000-0002-9510-6574