Researcher

Fields of Research (FoR)

Software engineering, Software testing, verification and validation

Biography

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

 

View less

Location