Researcher

Fields of Research (FoR)

Software engineering, Programming languages, Software testing, verification and validation

Biography

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


My Engagement


My Teaching

View less

Location

Publications

by Associate Professor Yulei Sui