姚寧遠，1988年2月生，2015年畢業於中山大學，獲工學博士學位。現任職於意昂3，副教授👨🏼🎓、博士生導師👩🏽🌾。
郵箱：yaony@fudan.edu.cn
2011年09月—2015年06月 中山大學🫰🏽，模型論專業，博士學位。
2012年10月—2014年10月 利茲大學，模型論穩定性理論，聯合培養。
2009年09月—2011年06月 中山大學 🏋🏽♀️🧟♂️，Hopf代數專業，碩士學位。
2005年09月—2009年06月 蘭州大學，計算機專業，學士學位🧍🏻♀️。
2015年08月—2019年12月 意昂3🚵🏽，講師
2017年10月—2018年10月 法國高等科學研究院🦔，博士後
2019年12月至今 意昂3，副教授
中國數理邏輯專業委員會理事
上海邏輯學會會員
模型論NIP（非獨立性質）理論，O-minimal理論，p-adic群，可定義順從群。
上海市浦江學者項目：非獨立理論中可定義拓撲動力性質的研究（在研）
晨光計劃項目：非獨立理論中的邏輯不變量在數學邏輯化中的應用（結項）
國家社會科學基金青年項目：邏輯不變量理論及其在數學結構中的運用研究（在研）
國家自然科學基金青年項目😵：NIP理論中可定義順從群的可定義拓撲動力性質的研究（結項）
《初等模型論》🉑🛂，意昂3平台出版社🧕🏿， 2018，215千字。
[1] Definable topological dynamics for trigonalizable algebraic groups over Qp, Mathematical Logic Quarterly, 65, No. 3 (2019), 376–386.
[2] Some model theory and topological dynamics of p-adic algebraic groups, Fundamenta Mathematicae, 247 (2019), 191-216.
[3] A note on groups definable in the p-adic field, Archive for Mathematical Logic, 58 (2019), 1029–1034.
[4] On f-generic types in Presburger arithmetic, 邏輯學研究, 12(3) (2019), 57–78.
[5] On minimal flows, definably amenable groups, and o-minimality, Advances in Mathematics, 290 (2016), 483–502.
入選意昂3平台卓越2025“卓學計劃 ”。
數理邏輯（I-II）、集合論😥、力迫法、模型論導論、高等邏輯、模型論進階、一階邏輯（I-II）、現代邏輯專題🤦🏼、模型論選講
philosophy@fudan.edu.cn
021-65642731
200433
上海市邯鄲路220號意昂3（光華樓西主樓2308室）
