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, especially leveraging artificial intelligence techniques into program analysis.

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]