
Fields of Research (FoR)
Software engineering, Programming languages, Software testing, verification and validationBiography
Yulei Sui is an Associate Professor and ARC Future Fellow at UNSW and a Visiting Fellow at UTS. He is broadly interested in Software Engineering and Programming Languages. 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 programming languages, natural...view more
Yulei Sui is an Associate Professor and ARC Future Fellow at UNSW and a Visiting Fellow at UTS. He is broadly interested in Software Engineering and Programming Languages. 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 programming languages, natural languages and code LLMs. Specifically, his current research projects include analysis and verification for software systems and AI models.
His personal home page: https://yuleisui.github.io
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
Other Projects:
- Amazon Research Award Gift Fund, Path-Sensitive Typestate Analysis through Sparse Abstract Execution, Solo CI, 2025
- UNSW-UTS Trustworthy Digital Society (TDS) project, Metric Visualization Framework for Customer Trust Satisfaction, UNSW Lead CI, 2025
- National Industry PhD program (with Bayer Australia), AI for Healthcare Management and Prediction, Lead CI, 2024-2026
- CSIRO's Data61, Software-Hardware Co-Design for AI Applications, Lead CI, 2024-2026
- UNSW CVMM Collaborative Grant, AI-driven approach for cardiovascular risk-prediction, 2nd CI, 2024
- Google Gift Fund, Cross-Component Cross-Language Static Value-Flow Analysis for Android Ecosystem, Lead CI, 2023
My Qualifications
Ph.D. in Computer Science from UNSW Sydney
My Awards
- 2025 Amazon Research Award (ARA), Fall 2024 Cycle
- 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 Google ASPIRE Gift Grant
- 2023 World’s Top 2% Scientists by Stanford University in the single year category 2023, 2024
- 2023 UNSW Scientia Fellowship
- 2023-2026 Australian Research Council Future Fellowship (awarded in 2022)
- 2022 OOPSLA 2022 Distinguished Artifact Award (OOPSLA 2022)
- 2022 JSPS Invitational Fellowship (mid-career to Professor level, short term)
- 2021 ICSE 2021 Distinguished Reviewer (ICSE 2021)
- 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)
- 2017-2019 Australian Research Council Discovery Early Career Researcher Award (ARC DECRA)
My Engagement
External:
- Associate Editor, IEEE Transactions on Software Engineering (the best journal in software engineering)
- Associate Editor, IEEE Transactions on Reliability
- Associate Editor, Automated Software Engineering journal
- Program Chair of 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)
- Program Chair of 32nd Static Analysis Symposium (SAS 2025)
- Program Chair of 36th IEEE International Symposium on Software Reliability Engineering. (ISSRE 2025)
- Organizing committees for
- ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2025)
- ACM International Conference on the Foundations of Software Engineering (FSE 2025)
- 32nd Asia-Pacific Software Engineering Conference (APSEC 2025)
- 35th IEEE International Symposium on Software Reliability Engineering (ISSRE 2024)
- 31st Asia-Pacific Software Engineering Conference (APSEC 2024)
Internal:
- Postgraduate Coordinator (Candidature), School of Computer Science and Engineering
- Member, Higher Degree Committee, Faculty of Engineering
- Member, Faculty Research Committee, Faculty of Engineering
My Teaching
View lessLocation
Follow
ORCID as entered in ROS
