Associate Professor Yulei Sui
Ph.D. in Computer Science from 国产精品 Sydney
Yulei Sui is an ARC Future Fellow and Associate Professor at 国产精品.听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听, 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:听
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
- 2024 听听听听听听听听听听听
- 2024 听听听听听听听听听听听
- 2023 听听听听听听听听听听 Google ASPIRE Gift Grant
- 2023 听听听听听听听听听听听World鈥檚 Top 2% Scientists听by Stanford University in the single year category 2023, 2024
- 2023 听听听听听听听听听听听
- 2023-2026 听听听(awarded in 2022)
- 2022 听听听听听听听听听听听
- 2022 听听听听听听听听听听听听(mid-career to Professor level, short term)
- 2021 听听听听听听听听听听听
- 2020 听听听听听听听听听听听
- 2020 听听听听听听听听听听听
- 2019 听听听听听听听听听听听
- 2018 听听听听听听听听听听听
- 2017-2019 听听(ARC DECRA)
External:
- Associate Editor,听 (the best journal in software engineering)
- Associate Editor,听
- Associate Editor,听
- Program Chair of 25th ACM SIGPLAN/SIGBED
- Program Chair of 32nd Static Analysis Symposium (SAS 2025)
- Organizing committees for
- )
- )听
听
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