惠志成 (Zhicheng Hui)

I am a student specializing in programming languages and formal methods.

Education:
  Shanghai Jiao Tong University (Master's Degree, 2025 - 2026)
  École Polytechnique (Engineering Degree, 2022 - 2025)
  Shanghai Jiao Tong University (Bachelor's Degree, 2020 - 2024)

Articles:
  Investigating Decision Procedures for Fragments of the Iris Separation Logic Framework. Internship report
  Zhicheng Hui

  Cross-Language Symbolic Runtime Annotation Checking. JFLA 2025
  Zhicheng Hui, Léo Andrès

  A Natural Formalized Proof Language. TASE 2024
  Lihan Xie*, Zhicheng Hui*, Qinxiang Cao
  *equal contributions

  Towards Natural Formal Proof Languages. Bachelor's thesis
  Zhicheng Hui

Contact:
  Email: huizhicheng123@gmail.com
  GitHub: https://github.com/Laplace-Demon

I am currently preparing PhD applications, I hope myself the best :)

Last updated: 2025-11-04