I am a Ph.D. Candidate supervised by Prof. Shing-Chi Cheung in CASTLE Research Group at The Hong Kong University of Science and Technology, working on software engineering, program analysis, and software testing with a focus on blockchain applications. At present, I am a visiting scholar in the research group of Prof. Xiangyu Zhang at Purdue University.