Zhiyang is a PhD student at University of Toronto, supervised by Prof. Fan Long. Prior than that, he was luckily advised by Prof. Xinyu Wang at UMich, worked on multiple program synthesis projects. His current research focus on smart contract security with static and dynamic analysis and blockchain scaling (ZKRollup). He is generally interested in Programming Languages, Software Engineering, Security and Distributed Systems. He also works as a Research Engineer at Zircuit. Prior to that, He also worked at Quantstamp.