姚宁远
发布时间:2016-06-21  浏览次数:5086

个人简介:

男,1988年生,甘肃天水人,逻辑教研室讲师,主要研究领域是数理逻辑中的模型论。主要研究内容是用逻辑的工具处理数学对象。

 

学习经历

201210-201410月: 公派留学利兹大学,随Anand Pillay学习模型论稳定性理论。

20119-20156月: 中山大学博士毕业,专业模型论。

20099-20116月中山大学硕士毕业,专业Hopf代数。

20059-20096月兰州大学学士毕业,专业计算机。

工作经历

20158- 复旦大学

 

研究领域:模型论稳定性理论及其应用。


主要研究领域(研究专长)

模型论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 theoryanddefinable 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