Honors and Awards

入选复旦大学2025“卓学计划 ”。

Selected for the Excellent Learning Program as part of the “Excellence 2025” Initiative at Fudan University.

Taught courses

Mathematical Logic (I-II), Set Theory, Forcing Theory, Introduction to Model Theory, Advanced Logic, Advanced Model Theory, First Order Logic (I-II), Special Topics in Modern Logic, Selected Lectures on Model Theory.

Work Experience

August 2015–December 2019  Lecturer, Faculty of Philosophy, Fudan University

October 2017–October 2018   Postdoctoral Fellow, Institut des Hautes Études Scientifiques

December 2019–Present       Associate Professor, School of Philosophy, Fudan University

Academic and Administrative Services

Standing Committee Member of the China Mathematical Logic Professional Committee

Member of Shanghai Logic Society

Research and Programs

Research directions and contents

Model theory NIP (Non-Independent Property) theories, O-minimum theories, p-adic groups, Definably amenable groups..

Research Projects

2016.10 - 2025.03 Shanghai Pujiang Scholar Project: Research on Defining Topological Dynamic Properties in Non-Independent Theory (Concluded)

2017.10 - 2020.10 Morning Light Project: The Application of Logic Invariants in Non-Independent Theory in Mathematical Logization (Concluded)

2020.10 - 2024.06 National Social Science Foundation Youth Project: Research on Logic Invariant Theory and Its Application in Mathematical Structures (Concluded)

2016.10 - 2019.12 National Natural Science Foundation of China Youth Project: Research on Defining Topological Dynamics of Compliant Groups in NIP Theory (Concluded)

2024.10 - National Natural Science Foundation of China General Project: Research on the Algebraicity Conjecture of Definable Groups and Definable Topological Dynamics in p-adically Closed Fields (Ongoing)

Main academic works

Representative publication

Elementary Model Theory, published by Fudan University Press, 2018.

Omega-Stability Theory and Algebraically Closed Fields, published by Fudan University Press, 2024

Representative articles

Anand Pillay and Ningyuan Yao, Open subgroups of p-adic algebraic groups, The Michigan Mathematical Journal, Advance Publication 1-14 (2025).

Will Johnson and Ningyuan Yao, Abelian groups definable in p-adically closed fields, The Journal of Symbolic Logic,  Volume 90 , Issue 1 , March 2025, pp. 460 - 481.

Chen Ling and Ningyuan Yao, Generic stability of linear algebraic groups over C[[ t]], Studies in Logic,Vol. 17, No. 6 (2024): 59–75.

Will Johnson and Ningyuan Yao, One-dimensional subgroups and connected components in non-abelian p-adic definable groups, The Journal of Symbolic Logic, 2024, First Vie w, pp.1-19.

Anand Pillay and Ningyuan Yao, On groups with definable f-generics definable in padically closed fields, The Journal of Symbolic Logic, Volume 88, Issue 4, December 2023, pp. 1334 - 1353.

Ningyuan Yao, Zhentao Zhang, On Types over p-­adically Closed Fields, Studies in Logic, Vol. 16, No. 6 (2023), pp. 58–73.

Will Johnson and Ningyuan Yao, On non-compact p-adic definable groups, The Journal of Symbolic Logic, Volume 87, Issue 1, March 2022, pp. 188 - 213.

Ningyuan Yao and Zhentao Zhang, On minimal flows and definable amenability in some distal NIP theories, Annals of Pure and Applied Logic, 174(7) (2023), pp. 1-20.

Jiaqi Bao and Ningyuan Yao, Definably topological dynamics of p-adic algebraic groups, Annals of Pure and Applied Logic, 173(4)(2022), pp. 1-17.

Ningyuan Yao, On Dimensions, Standard Part Maps, and p-Adically Closed Fields, Studies in Logic, Vol. 13, No. 6 (2020), pp. 41–62.

Ningyuan Yao, Definable topological dynamics for trigonalizable algebraic groups over Qp, Mathematical Logic Quarterly, 65, No. 3 (2019), 376–386.

Davide Penazzi, Anand Pillay, Ningyuan Yao, Some model theory and topological dynamics of p-adic algebraic groups, Fundamenta Mathematicae, 247 (2019), 191-216.

Anand Pillay and Ningyuan Yao,A note on groups definable in the p-adic field, Archive for Mathematical Logic, 58 (2019), 1029–1034.

Ningyuan Yao, On f-generic types in Presburger arithmetic, Studies in Logic, 12(3) (2019), 57–78.

Anand Pillay and Ningyuan Yao,On minimal flows, definably amenable groups, and o-minimality, Advances in Mathematics, 290 (2016), 483–502.

Dongyang Long and Ningyuan Yao , Topological dynamics for groups definable in real closed fields, Annals of Pure and Applied Logic, 166(2015), 261-273.

Xiaolong Jiang and Ningyuan Yao, On Cleft Extensions of the Tensor Product of Two Hopf Algebras, Communications in Algebra,11(2013), 4299-4332.

Honors and Awards

入选复旦大学2025“卓学计划 ”。

Selected for the Excellent Learning Program as part of the “Excellence 2025” Initiative at Fudan University.

Taught courses

Mathematical Logic (I-II), Set Theory, Forcing Theory, Introduction to Model Theory, Advanced Logic, Advanced Model Theory, First Order Logic (I-II), Special Topics in Modern Logic, Selected Lectures on Model Theory.