---

个人简介：
男，1988年生，甘肃天水人，逻辑教研室讲师，主要研究领域是数理逻辑中的模型论。主要研究内容是用逻辑的工具处理数学对象。
学习经历：
2012年10月-2014年10月： 公派留学利兹大学，随Anand Pillay学习模型论稳定性理论。
2011年9月-2015年6月： 中山大学博士毕业，专业模型论。
2009年9月-2011年6月中山大学硕士毕业，专业Hopf代数。
2005年9月-2009年6月兰州大学学士毕业，专业计算机。
工作经历：
2015年8月- 复旦大学
研究领域：模型论稳定性理论及其应用。

---

主要研究领域（研究专长）：
模型论NIP(非独立性质)理论，O-minimal 理论，可定义顺从群。

近期研究重点：
NIP理论中的可定义顺从群，P-adic理论，O-minimal理论。
科研成果及代表作
论文：
[1] On minimal flows, definably amenable groups, and o-minimality,Advances in Mathematics, 290(2016): 483-502. (with A. Pillay)
[2]Topological dynamics for groups definable in real closed field, Annals of Pure and Applied Logic, 166(2015): 261-273. (with D.Y. Long)
[3]On Cleft Extensions of the Tensor Product of Two Hopf Algebras,Communications in Algebra, 41(2013): 4299–4332. (with X. L. Jiang)
主要讲授课程

---

数理逻辑
一阶逻辑
模型论导论
荣誉称号及所获奖励

---

CURRICULUM VITAE
name
Contact Information
Office: Guanghua West Main Building 2503.
Office hours: by appointment
Office phone:
Email: yaony@fudan.edu.cn
Personal:
?Name: Ningyuan Yao.
?Sex: Male.
?Birthday: Feb 1988.
?Native place: China, Gansu Prov. Tianshui city.
Education:

?Visitor Researcher: School of Mathematics, University of Leeds, (03, Oct, 2012 - 18, Sep, 2014). Research area is Model Theory.
?Visitor Researcher: Department of Mathematics, University of Notre Dame, (01, Jul, 2014 - 10 ,Sep, 2014). Research area is Model Theory.
?International Student: MSRI, UC, Berkeley, (14, Mar, 2014 - 15, Apr ,
2014). Research area is Model Theory.
?Ph.D Student: Department of Computer Science and technology, School of Information Science and technology, Sun Yat-sen University, (10, Sep, 2011 - 01,June, 2015 ). Research area is Quantum computation and Quantum information.
?M.S.: Department of Fundamental mathematics, School of mathematics and Computing Science, Sun Yat-sen University, (05, Sep, 2009 - 01, July, 2011). Research area is Hopf Algebras.
?B.A.: Department of Computer Science and technology, School of Information Engineering and technology, Lanzhou University, (01, Sep, 2005 - 30, June, 2009). Major is Computer Science and technology.

Teaching Positions:
Lecturer at School of Philosophy, Fudan Unversity(Aug, 2015-).
Research Interests:
Model theory: stable theory, NIP theory, O-minimal theory, p-adic theory，anddefinable groups.

Quantum computation and Quantum information.
Hopf algebra.
Publications：
Books:

Academic Papers:
[1] On minimal flows, definably amenable groups, and o-minimality,Advances in Mathematics, 290(2016): 483-502. (with A. Pillay)
[2]Topological dynamics for groups definable in real closed field, Annals of Pure and Applied Logic, 166(2015): 261-273. (with D.Y. Long)
[3]On Cleft Extensions of the Tensor Product of Two Hopf Algebras,Communications in Algebra, 41(2013): 4299–4332. (with X. L. Jiang)

Courses
Mathematical Logic
First-order Logic
An Introduction to Model Theory

services