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 interests are around the intersection of PL and Security, in particular applying program analysis techniques to find faults in software.