Currently, he is also the office director of ILI, the director of Philosophical Logic & Logic of Philosophy Office in ILI, and the head of the Teaching and Research Section of Logic in Southwest University.