I am currently a first-year PhD student in Computer Science and Engineering in the Hong Kong University of Science and Technology. My supervisor is Amir Goharshady. I am interested in the intersection of applied cryptography, blockchains, security & privacy, algorithms, game theory and formal verification.

Before starting PhD, I was a MPhil in the same group during 2021~2023. Before coming to HKUST, I received my Bechalor’s degree in Automation from Tsinghua University in 2021.

I Am Beautiful

Publication

Check my Google scholar profile.

2023

  • (ICBC'2023) Trustless and bias-resistant game-theoretic distributed randomness. paper hal

  • (MARBLE'2023) Game-theoretic Randomness for Proof-of-Stake. paper hal

  • (OOPSLA'2023) Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. paper

  • (IEEE Blockchain'2023) PureLottery: Fair Leader Election Without Decentralized Random Number Generation. hal

2021

  • (ACL'2021) Towards Visual Question Answering on Pathology Images. ACL