It is very difficult to not do interdisciplinary study at RUC since RUC has a strong atmosphere to do that. To focus on number theory, we try to apply all the tools from another disciplines to number theory and apply some tools from number theory to other disciplines.

[i]	Formalize the results in $p$-adic Hodge theory, in particular the work of Jean-Marc Fontaine, Jean Pierre Wintenberger, Pierre Colmez, Christophe Breuil and Laurent Berger. At the moment, it is a quite ambitious project, but I hope that the development of technology will help us to achieve this goal.
[ii]	Application of mathematical tools to Intelligent Traffic Systems (ITS).

AI4Math

[1]	Assisting Mathematical Formalization with A Learning-based Premise Retriever (with Yicheng Tao, Haotian Liu, Hongteng Xu), pdf, preprint.

Lean Projects

[1]	Ramification theory (group members Junjie Bai, Jiedong Jiang, Zebei Li), in progress.

ITS

[1]	Traffic Flow and Speed Monitoring Based On Optical Fiber Distributed Acoustic Sensor (with Linlin Wang, Shixin Wang, Peng Wang, Wei Wang, Dezhao Wang, Yongcai Wang), pdf, accepted by Optical Fiber Technology.