Tianchi Li

Tianchi Li

Third Year PhD

Tianchi Li’s Homepage

I am a third-year Ph.D. student advised by Prof. Xin Zhang at Programming Languages Lab, Software Engineering Institute, School of Computer Science, Peking University. My research interest is in static program analysis, program verification and autoformalization.

Education

  1. 2019-09 to 2023-07, Peking University, B.E. in Computer Science and Technology.
  2. 2023-09 to present, Peking University, Ph.D. in Computer Software and Theory.

Publications

  1. Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
    Tianchi Li and Xin Zhang [OOPSLA 2025] [DOI]

  2. Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors Tianchi Li, Zhenyu Yan, Junhao Liu, Peng Di, and Xin Zhang [TOPLAS 2026] [DOI]