Heqing Huang is an assistant professor at the Department of Computer Science, City University of Hong Kong. Previously, he was a postdoc research fellow at ETH Zurich. He obtain his Ph.D. at the Hong Kong University of Science and Technology.
His research focuses on software security, especially leveraging program analysis techniques to rigorously ensure software security and reliability. Specifically, my research takes advantage of both static and dynamic techniques to address deficiency problems in existing vulnerability detection methods, such as fuzzing and symbolic execution. He has been tensively published in top-tier venues in security, software engineering, system, and programming language.
Software Security and Reliability; Program Analysis; Programming Language