姚寧遠，男，1988年生，甘肅天水人，邏輯教研室講師，主要研究領域是數理邏輯中的模型論。主要研究內容是用邏輯的工具處理數學對象。
基本介紹
- 中文名：姚寧遠
- 學位/學歷：博士
- 職業：教師
- 專業方向：模型論穩定性理論及其套用
- 就職院校：復旦大學哲學學院
個人經歷,主講課程,研究方向,學術成果,
個人經歷
學習經歷
2005年9月-2009年6月蘭州大學學士畢業，專業計算機。
2009年9月-2011年6月中山大學碩士畢業，專業Hopf代數。
2011年9月-2015年6月： 中山大學博士畢業，專業模型論。
2012年10月-2014年10月： 公派留學利茲大學，隨Anand Pillay學習模型論穩定性理論。
工作經歷
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)
