Dr. Jialun Cao

Research Assistant Professor

The Hong Kong University of Science and Technology

Jialun is a Post-doctoral Fellow at the Hong Kong University of Science and Technology (HKUST). She is an incoming Research Assistant Professor in HKUST starting from August 2024. She received her Ph.D. degree from the Department of Computer Science and Engineering at HKUST, under the supervision of Prof. Shing-Chi Cheung. Her research interests lie in the intersection of Software Engineering (SE) and Artificial Intelligence (AI), AI testing, and formal verification. Her research has resulted in 16 publications, featured in top-tier conferences and journals in areas such as software engineering, security, and verification including ICSE, ESEC/FSE, CAV, ASE, USENIX Security and TOSEM. Among them, she is the first-author or corresponding author on 5 of them. She serves as program committee members of top conferences such as ICSE and ISSRE; also a reviewer for top journals such as TSE and TOSEM.