惠志成 (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

  

  

  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: 2026-04-22