Yulei Sui is an Associate Professor and ARC Future Fellow 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 ICSE Distinguished Paper Awards (2025 and 2018), a FSE Distinguished Paper Award (2024), a OOPSLA Distinguished Paper (2020) and a Disinguished Artifact (2022), a SAS Best Paper (2019), a CGO Best Paper (2013), 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 its ecosystem for code analysis and verification, widely adopted in the software engineering community for both 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, Program Co-Chair of SAS 2025, Program Co-Chair of ISSRE 2025 and serves on the organizing committees for SPLASH 2025, FSE 2025 and ISSRE 2024.

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