Undergraduate Students
Qinxiang Cao (PhD @Department of Computer Science, Princeton University, now AP@SJTU)
Tingxiang Zou (PhD@Institut Camille Jordan, Université de Lyon, now Postdoc @University of Münster)
Shihao Xiong (PhD@Department of Mathematics, Cornell University)
Yifeng Ding (PhD@Logic group, UC Berkeley, now AP@PKU)
Tao Gu (PhD@Department of Computer Science, UCL)
Zhouhang Zhou (CMU)
Cheng Liao (ILLC, University of Amsterdam, now PhD@Notre Dame) Excellent Beijing undergraduate thesis award
Xinyu Wang (JAIST, Japan)
Yunsong Wang (ILLC, University of Amsterdam, Now PhD student@PKU)
Yilun Wang (ILLC, University of Amsterdam)
Wen Tang (master student@Peking University)
Zilu Wang (master student@Peking University)
Yuanzhe Yang (master student@Peking University). Excellent Beijing undergraduate thesis award
Graduate Students:
Master students:
Xi Chen (exchange@HKUST, Hong Kong, now@中关村易创)
Tszyuen Lau (studied as PhD student@Utrecht University)
Kai Li (exchange@CWI, Amsterdam, now Postdoc@China University of Political Science and Law)
Chao Xu (exchange @TU Dresden, now AP@Shandong University)
Dazhu Li (PhD student @Tsinghua University/University of Amsterdam, now AP@Institute of Philosophy, CAS)
Yingying Cheng (@中央文献研究室)
Xingchi Su (PhD student@University of Groningen, Now @Zhejiang Lab)
Jingzhi Fang (PhD student@Lingnan University, Hong Kong)
Mo Liu (PhD student@LORIA, France)
Yiting Wang (PhD student@PKU)
Kaiyang Lin (public servant@Jiaxing City)
Haoyu Wang (PhD student@PKU)
Bo Hong (PhD@PKU) Best student paper award of LORI 23
Dekun Zeng (Game Designer@a company)
Ph.D. students:
Jie Fan (exchange@LORIA-Nancy, France, now Asso. Prof.@University of Chinese Academy of Sciences), Best paper award of ICLA 15
Yanjun Li (University of Groningen, now Asso. Prof.@Nankai University)
Jixin Liu (exchange @UC Berkeley, now Postdoc@Sichuan University)
Yu Wei (exchange@ILLC, now AP@East China Normal University)
Xun Wang (Postdoc@MUC), Best student paper award of LORI 21
Xiaoyang Wang (Postdoc @BNU)
Yiting Wang
Haoyu Wang
Yunsong Wang
Students at all levels are welcome to work with me.
对想来找我做论文导师的硕士生：
1 必须上过我的高级模态逻辑且得到较好成绩。
2 原则上我定题目。
3 研究兴趣我不熟悉的、未尽全力无法执行论文计划的、混学位的我无法指导。
4 请对自己的未来负责。