宋诗畅,北京交通大学理学院数学系讲师. 教育背景北京大学 数学 本硕University of Illinois at Urbana-Champaign 数学 博士工作经历中国科学院 数学与系统科学研究院 博士后北京交通大学 理学院数学系 2013年至今.教育背景北京大学 数学 本硕University of Illinois at Urbana-Champaign 数学 博士工作经历中国科学院 数学与系统科学研究院 博士后北京交通大学 理学院数学系 2013年至今代数学理论与几何理论图,网络与组合优化基本科研业务费:数理逻辑在概率论中的应用,主持国家自然科学基金"青年基金":随机变量结构的模型论,主持2013年秋季 微积分(B) I 13级软件学院2014年春季 微积分(B) II 13级软件学院2014年春季 概率论(重修) 12级思源班2014年秋季 微积分(B) I 14级机电学院2014年秋季 离散数学(英文授课) 13级软件学院2014年秋季 数学家与数学史 14级理学院2015年春季 微积分(B) II 14级机电学院2015年春季 概率论(重修) 13级思源班2015年秋季 数学家与数学史 15级理学院2015年秋季 数学分析(A) I 15级通信试点班2016年春季 数学分析(A) II 15级通信试点班2016年秋季 数学分析(A) I 16级数学2017年春季 数学分析(A) II 16级数学2017年春季 数学家与数学史 16级理学院2017年秋季 数学分析(A) III 16级数学2017年秋季 数学家与数学史 全校任选学术成果期刊论文 Shichang Song, On d-finite tuples in random variable structures, Fund. Math. 221 (2013), 221-230.Shichang Song, Axioms for the theory of random variable structures: an elementary approach, J. Korean Math. Soc. 51 (2014), 527-543.Shichang Song, Saturated structures from probability theory, J. Korean Math. Soc. 53 (2016), 315-329.Shichang Song, Type spaces and Wasserstein spaces, J. Korean Math. Soc., to appear.Shichang Song, Hall universal group has ample generic automorphisms, submitted.The Association for Symbolic Logic会员Mathematical Reviews审稿人.