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 anther 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.

Lean Project

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