Yulei Sui is an ARC Future Fellow and Associate Professor at UNSW. 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 papers have been published in top-tier conferences and journals in the fields of program analysis and software engineering, including PLDI, OOPSLA, ASPLOS, TSE, TOSEM, ICSE, FSE, SAS, ISSTA, ASE, ECOOP, CGO, and CC. The quality and impact of his research have been recognised with a number of prestigious awards, including a 2024 FSE Distinguished Paper Award, a 2022 OOPSLA Distinguished Artifact Award, a 2021 ICSE Distinguished Reviewer Award, a 2020 OOPSLA Distinguished Paper Award, a 2019 SAS Best Paper Award, a 2018 ICSE Distinguished Paper Award, a 2013 CGO Best Paper Award, a JSPS Invitational Fellowship (2022), an ARC Discovery Early Career Researcher Award (2017-2019), an ARC Future Fellowship (2023-2026), and a Google ASPIRE Award (2023). He is an IEEE Senior Member and a Fellow of Engineers Australia (FIEAust).

He is the creator and primary maintainer of SVF, an open-source framework and ecosystem for software analysis and verification, widely adopted in both academia and industry for research and education. He currently serves as an Associate Editor for IEEE Transactions on Software Engineering (the best journal in software engineering) and an Associate Editor for IEEE Transactions on Reliability. He is the Program Chair of LCTES 2024 and Program Co-Chair of SAS 2025 and serves on the organizing committees for SPLASH 2025, FSE 2025 and ISSRE 2024.

His personal home page: https://yuleisui.github.io