Research Interests:

• Different kinds of knowledge, their representations and logics
• Epistemic Logic, Dynamic Logic, and their combinations
• Multi-agent systems
• Formal semantics
• `Mechanism design’ in academia
• Other things that satisfy my curiosity

长期目标：应用与反思推动学科发展，真诚与务实促进制度创新

My current projects (in terms of research, not research grant):

• Beyond knowing that: non-standard epistemic logics of knowing whether/what/how/why…
• Non-standard dynamic epistemic framework for epistemic planning
• Non-standard axiomatizations of dynamic epistemic logics without reduction

My Research gate link, google scholar page, DBLP page. My Erdős number is 3.

My CV

Current Position:

• Associate Professor with Tenure (长聘副教授) at Department of Philosophy, Peking University
• Vice Dean of the department (副系主任)
• Deputy Director of the PKU Centre for Philosophy and the Future of Humanity
• 国家 “万人计划”青年拔尖人才

Service:

• 中国逻辑学会现代逻辑专业委员会秘书长，中国数学学会数理逻辑专业委员会理事，《逻辑学研究》编委
• I served as PC member for the following conferences:
• LORI13, LORI15, AAMAS15, TARK15, LOFT16, KR16, IJCAI16, ICLA17, WoLLIC18
• I have served as reviewer for the following conferences and journals:
• AAMAS, CSL, LICS, KR, TARK, ICLA, LORI, ACM ToCL, JANCL, Studia Logica, Synthese, JLC, RSL,Artificial Intelligence, JPL, JoLLI…
• I was in charge of the scheduling of the program of the 24th World Congress of Philosophy(1000 sessions, 5000+ talks)

Education:

• Ph.D in Logic (2010), University of Amsterdam. The Ph.D project was carried out at SEN2 andSEN1 of CWI under the supervision of Prof. dr. Jan van Eijck
• MSc. in logic (cum laude 2006) ILLC, University of Amsterdam under the supervision of Prof. dr. Frank Veltman and Dr. Maricarmen Martínez.
• Bachelor in Logic (2004), Department of Philospphy, Peking University
• Bachelor (Minor) in Economics (2004), CCER, Peking University

Projects (as participant): 
Major Project of National Social Science Foundation of China 
(国家社科基金重大项目 《多学科视域下的认知研究》 12&ZD119)
Major Project of National Social Science Foundation of China 
(国家社科基金重大项目 《基于逻辑视域的认知研究》 11&ZD088)
Action-sequence based studies on imperatives and deontic logic 
(国家社科基金项目《基于动作序列的祈使句语义和道义逻辑研究 SSFC grant12CZX053）

Past Projects:
As PI: 
Protocol-based logical dynamics (国家社科基金青年项目 《基于协议的动态认知研究》 SSFC grant 11CZX054)
教育部回国人员启动基金

As participant:
MOE Project of Key Research Institute of Humanities and Social Sciences in Universities (教育部人文社会科学重点研究基地重大项目《基于心灵与认知观的逻辑与数学哲学研究》 12JJD720011)