I am a PhD student at University of Toronto, I’m also working as a Research Engineer at Zircuit. Prior to that, I also worked at Quantstamp. My current research focus on Smart Contract Security with Static and Dynamic Analysis and Blockchain Scaling(ZkRollup).