I am an MPhil student in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology supervised by Professor Jiasi Shen. My research interest lies at the intersection of PL and Security, and applying graph-based program analysis techniques to improve software.