Zhuo Zhang is a computer science researcher whose work focuses on software security, program analysis, and AI-assisted vulnerability discovery. He develops practical techniques that strengthen program assurance and enable precise auditing of real-world systems, and is the recipient of the ACM SIGSAC Doctoral Dissertation Award.