惠志成 (Zhicheng Hui)

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

Education:
  École Polytechnique (cycle ingénieur, 2022 - 2025)
  Shanghai Jiao Tong University (bachelor, 2020 - 2024)

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

  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

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

Last updated: 2025-08-27