证明了关于特征曲线边界几何形态的Buzzard-Kilfford猜想（Duke 2017）；对p进刚性簇的黎曼希尔伯特问题取得进展，建立了黎曼希尔伯特函子并证明了p进局部系统的德拉姆刚性 (Inventiones 2017)
