avatar

Zhao Huan

Ph.D. Candidate
National University of Singapore
zhaohuan (at) comp.nus.edu.sg


About Me

I am a Ph.D. student in the School of Computing at the National University of Singapore (NUS), where I am fortunate to be advised by Provost’s Chair Professor Abhik Roychoudhury and Presidential Young Professor Umang Mathur. Prior to that, I obtained my Bachelor degree (first-class honours) also from NUS in 2023.

I am generally interested in understanding and enhancing the trustworthiness of modern software, especially in the algorithmic aspects of automated testing and verification technologies. My work explores different techniques on the spectrum, including agentic, symbolic, and randomized approaches. I am currently looking into how AI agents can leverage existing formal machinery to reason confidently and reliably about code.

Recent News

Publications (* for equal contribution)

  1. NDSS'27 Agentic Orchestration for Hybrid Fuzzing
    Zhengxiong Luo*,Huan Zhao*,Mehtab Zafar,Cristian Cadar,Abhik Roychoudhury
    The Network and Distributed System Security (NDSS) Symposium 2027.

    TL;DRShepherding hybrid fuzzing with an LLM agent for better tester coordination.

  2. ASE'26 Automated Lemma Discovery in Agentic Program Verification
    Huan Zhao*,Haoxin Tu*,Zhengyao Liu,Martin C. Rinard,Abhik Roychoudhury
    41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026.

    TL;DRDeriving proof structure from code structure by discovering helper lemmas.

    PDF Code
  3. FSE'26 Agentic Verification of Software Systems
    Haoxin Tu,Huan Zhao,Yahui Song,Mehtab Zafar,Ruijie Meng,Abhik Roychoudhury
    34th ACM International Conference on the Foundations of Software Engineering (FSE), 2026.

    TL;DRTheorem proving for program verification with an LLM agent.

    PDF Code
  4. S&P'26 Agentic Concolic Execution
    Zhengxiong Luo,Huan Zhao,Dylan Wolff,Cristian Cadar,Abhik Roychoudhury
    47th IEEE Symposium on Security and Privacy (S&P), 2026.

    TL;DRSymbolic execution of software with LLM agents for any language or theory.

    PDF Code Slides
  5. ASPLOS'25 Selectively Uniform Concurrency Testing
    Huan Zhao,Dylan Wolff,Umang Mathur,Abhik Roychoudhury
    30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025.

    TL;DRExposing concurrency bugs with optimal probabilistic guarantees via random testing.

    PDF Code Slides

Academic Services