About me

I am currently 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

• Our paper “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” is accepted by NDSS 2025. September 2024
• Our paper “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
• Our paper “Demystifying Invariant Effectiveness for Securing Smart Contracts” is accepted by FSE 2024. March 2024
• Our paper “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