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)
Tao Gu (PhD@Department of Computer Science, UCL)
Zhouhang Zhou (CMU)
Cheng Liao (ILLC, University of Amsterdam)
Xinyu Wang (JAIST, Japan)
Yunsong Wang (ILLC, University of Amsterdam)
Yilun Wang (ILLC, University of Amsterdam)
Graduate Students:
Xi Chen (exchange@HKUST, Hong Kong, now@中关村易创)
Jie Fan (exchange@LORIA-Nancy, France, now Asso. Prof.@University of Chinese Academy of Sciences)
Yanjun Li (University of Groningen, now Asso. Prof.@Nankai University)
Tszyuen Lau (studied@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)
Jixin Liu (exchange @UC Berkeley, now Postdoc@Sichuan University)
Dazhu Li (PhD student @Tsinghua University/University of Amsterdam)
Yingying Cheng (@中央文献研究室)
Xingchi Su (PhD student@University of Groningen)
Jingzhi Fang (PhD student@Lingnan University, Hong Kong)
Mo Liu (PhD student@LORIA, France)
Yiting Wang
Haoyu Wang
Students at all levels are welcome to work with me.
对想来找我做论文导师的硕士生：
1 必须上过我的高级模态逻辑且得到较好成绩。
2 原则上我定题目。
3 研究兴趣我不熟悉的、未尽全力无法执行论文计划的、混学位的我无法指导。
4 请对自己的未来负责。