Ph.D. degree in Logic (2014), Program of Computer Science, the Graduate Center, City University of New York.

Master’s degree in Logic (2010), Department of Philosophy, Tsinghua University.

Bachelor’s degree in Mechanical Engineering and Automation (2007), Department of Precision Instruments and Mechanology, Tsinghua University.

Department of Philosophy, Tsinghua University: Associate professor (since 2018), Assistant professor (2016-2018), Lecturer (2014-2016).

First-order logic, Modal logic, Proof theory, etc.

Student supervision (previous + current)

Master 5, Ph.D. 4.

<Instantial neighborhood logic> Tableaux (2018), (Cut-free) sequent calculus (2020), Craig/Lyndon interpolation (2020), Uniform interpolation (2024).

<Self-referentiality in justification logics> A sufficient condition for non-self-referentially in modal-justification realization (2010), Necessity of self-referentiality in Artemov’s formalization of BHK semantics (2014), Non-normality and non-conservativity of non-self-referential realizable fragments of modal logics (2017).