About me

I am now a research scientist, supervised by Prof. David Lo from Singapore Management University (SMU, Singapore). Before joining SMU, I was a research fellow at NTU. I received my Ph.D. in 2023 from School of Computer Science and Engineering, Nanyang Technological University (NTU, Singapore), supervised by Prof. Li Yi and Prof. Liu Yang (co-supervisor). I received my M.Sc. in 2019 from Beihang Univeristy (BUAA, China), under the supervision of Prof Jiang Bo. My research interest includes but not limited to smart contract security and reliability, formal verification, and program analysis.

News

  • Won NDSS Distinguished Paper Award Congrats to all co-authors! Feburary 2025
  • “A Comprehensive Study of Governance Issues in Decentralized Finance Applications” is accepted by TOSEM. January 2025
  • “Smart Contract Fuzzing Towards Profitable Vulnerabilities” is accepted by FSE. January 2025
  • “Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction” is accepted by SANER 2025. November 2024
  • “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” is accepted by NDSS 2025. September 2024
  • “OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond” is accepted by ASE 2024 demo track. August 2024
  • Research Scientist at SMU. May 2024
  • “Demystifying Invariant Effectiveness for Securing Smart Contracts” is accepted by FSE 2024. March 2024
  • “DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications” is accepted by ISSTA 2024. March 2024
  • Research Fellow at NTU. July 2023
  • Receive Ph.D. from NTU. 30-June-2023