Zhiyang works as a Research Engineer at Zircuit and he is also a PhD student at University of Toronto, supervised by Prof. Fan Long. Prior to 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. Prior to that, He also worked at Quantstamp.