Home | Lab | Publication | Teaching
Zuming Jiang (江祖铭)

Department of Computer Science
The University of Hong Kong (HKU)

Address: Room 301F, Chow Yei Ching Building, The University of Hong Kong, Pokfulam, Hong Kong
Email: jzuming # hku.hk
Google Scholar | GitHub


I am a tenure-track Assistant Professor at HKU CS, leading ATOMS lab. Before joining HKU, I was a Ph.D. student at ETH Zurich, fortunately advised by Prof. Zhendong Su. I got my Master degree from Tsinghua University and Bachelor degree from Zhejiang University.

I will be serving as the Guest Editor for Special Issue Advances in Program Analysis and Verification for Reliable Software Systems of Applied Science. We warmly invite researchers in program analysis, software verification, and related areas to submit their latest findings and contribute to advancing the development of reliable, safe, and trustworthy software systems.

Multiple fully-funded positions are available for PhD students, Postdoc, and RA in the areas of Systems, Security, Databases, and their interdisciplinary applications with AI. If you are excited about conducting research and interested in working with me, please send me an email (jzuming.hku@gmail.com) with your CV and a brief statement of your research interests or plans. I am looking forward to hearing from you!

HKU offers generous scholarships to PhD students (HKU Postgraduate Scholarship). In addition, exceptional candidates will be nominated for prestigious awards, including HKU Presidential PhD Scholarship (HKU-PS) and Hong Kong PhD Fellowship (HKPFS).

Research Interests

My research interests span across Security, Database, Operating System, Software Engineering, and Artificial Intelligence. We aims to advance system design and implementation via principal methodology. Currently, we are interested in
(1) enhancing system reliability, security, and performance via testing, formal verification, and program analysis; and
(2) boosting the incorporation of AI and systems, including solidifying AI systems and facilitating systems with AI techniques.

Academic Service

Program Committee (PC) Member
  • International Symposium on Software Testing and Analysis (ISSTA) 2026
  • International Workshop on Testing Database Systems (DBTest) 2026, 2024
    • Guest Editor
  • Advances in Program Analysis and Verification for Reliable Software Systems, Applied Science 2026
    • Artifact Evaluation Committee (AEC) Member
  • USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2024, 2023
  • USENIX Annual Technical Conference (ATC) 2025, 2024, 2023
    • Reviewer
  • ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2026
  • International Conference on Very Large Data Bases (VLDB) 2026
  • Data Science and Engineering (DSEJ) 2026
  • IEEE Transactions on Knowledge and Data Engineering (TKDE) 2026
  • ACM Transactions on Software Engineering and Methodology (TOSEM) 2026, 2024, 2023
  • IEEE Transactions on Dependable and Secure Computing (TDSC) 2025, 2022, 2021

    • Activities

  • Invited talk at Beihang University: Toward Reliable and Secure Systems via Granularity Shifting (hosted by Jia-Ju Bai, August 21, 2025)
  • Invited talk at ZJU: Toward Reliable and Secure Systems via Granularity Shifting (hosted by Binbin Zhao, August 19, 2025)
  • Invited talk at SJTU: Toward Reliable and Secure Systems via Granularity Shifting (hosted by Haoran Ding, August 18, 2025)
  • Invited talk at Georgia Tech: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Taesoo Kim, October 23, 2024)
  • Invited talk at System Group, ETH Zurich: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Pengcheng Xu and Shien Zhu, September 27, 2024)
  • Invited talk at Northeastern University: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Cheng Tan, September 18, 2024)
  • Invited talk at Institute of Software Chinese Academy of Science: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Mingyu Li, August 9, 2024)
  • Invited talk at Stanford: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Anjiang Wei, July 9, 2024)
  • Invited talk at UC Berkeley: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Yiming Lin, July 8, 2024)
  • Invited talk at NUS: Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation (hosted by Jinsheng Ba, April 30, 2024)
  • Attendance at Dagstuhl Seminar: Ensuring the Reliability and Robustness of Database Management Systems (October 29 - November 3, 2023)
  • Invited talk at HKUST: Effective Bug Detection for Database Systems: Complex-Query Generation and Oracle Construction (hosted by Shuai Wang, August 7, 2023)
  • Invited talk at CUHK: Effective Bug Detection for Database Systems: Complex-Query Generation and Oracle Construction (hosted by Qiang Su, August 2, 2023)
  • Invited talk at PingCAP: Transactional Bugs Detection for Database Systems (hosted by Yangguang Wang, 2022)
  • Invited talk at Tencent: Fuzzing for Database Systems (hosted by Peng Chen, October 10, 2022)

    • Assigned CVEs

    MySQL (22)
    CVE-2024-21013, CVE-2024-21009, CVE-2024-21008, CVE-2024-20982, CVE-2023-22112, CVE-2023-22028,
    CVE-2023-21935, CVE-2023-21881, CVE-2023-21880, CVE-2023-21879, CVE-2023-21878, CVE-2023-21872,
    CVE-2022-21607, CVE-2022-21594, CVE-2022-21556, CVE-2022-21438, CVE-2021-35635, CVE-2021-35628,
    CVE-2021-2357, CVE-2021-2427, CVE-2021-2426, CVE-2021-2425
    MariaDB (12)
    CVE-2021-46669, CVE-2021-46668, CVE-2021-46667, CVE-2021-46666, CVE-2021-46665, CVE-2021-46664,
    CVE-2021-46663, CVE-2021-46662, CVE-2021-46661, CVE-2021-46659, CVE-2021-46658, CVE-2021-46657
    Vim (2)
    CVE-2020-19923, CVE-2020-19922
    © Copyright Zuming Jiang