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

  • 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