I am a logician at the Department of Philosophy of Peking University. Currently, I am a professor of logic and the vice-chair of the department, the director of Center for Logic, Language, and Cognition at Peking University, and the deputy director of the PKU Centre for Philosophy and the Future of Humanity. I am also an associate editor of the Journal of Philosophical Logic.
My research mainly focuses on modal logic and its applications in philosophy, theoretical computer science, and AI. In recent years, I have been trying to systematically propose and study logics of know-wh, such as knowing how/why/what/who, and so on. The core idea is to introduce the so-called bundled modalities which pack a quantifier and a modality together. This also leads to a family of new decidable fragments of first-order modal logic and a general approach to unpacking intuitionistic logic, inquisitive logic, and related non-classical logics as epistemic logics. Here is my CV. You can also find my papers at DBLP, Scopus, Google Scholar, ORCID, and Researchgate. My Erdős number is 3.
We should aim to be a logician with the capital L: sensitive as a linguist, think like a philosopher, prove like a mathematician, and make the results work like a computer scientist.