My official students/student co-authors and where they are/have been：

Undergraduate students:

Qinxiang Cao (Department of Computer Science, Princeton University, now AP@SJTU)

Tingxiang Zou (Institut Camille Jordan, Université de Lyon)

Shihao Xiong (Department of Mathematics, Cornell University)

Yifeng Ding (Logic group, UC Berkeley)

Tao Gu (UCL)

Zhouhang Zhou (CMU)

Cheng Liao

Xinyu Wang

Graduate students:

Xi Chen (exchange@HKUST, Hong Kong, now@万科)
Jie Fan (exchange@LORIA-Nancy, France, now@University of Chinese Academy of Sciences)
Yanjun Li (University of Groningen, now AP@Nankai University)
Tszyuen Lau (studied@Utrecht University)
Kai Li (exchange@CWI, Amsterdam, now@China University of Political Science and Law)
Chao Xu (exchange @TU Dresden)
Jixin Liu (exchange @UC Berkeley)
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)

Students at all levels are welcome to work with me 🙂

对想来找我做论文导师的硕士生：

1 必须上过我的高级模态逻辑且得到较好成绩。

2 原则上我定题目。

3 研究兴趣我不熟悉的、未尽全力无法执行论文计划的、混学位的我无法指导。

4 请对自己的未来负责。