个人简介

教育背景 2007年9月~2013年5月：北京航空航天大学，应用数学，理学博士（导师：王东明教授） 2009年10月~2013年5月：法国巴黎第六大学，计算机科学，工学博士（导师：Jean-Charles Faugère 研究员） 2003年9月~2007年7月：北京航空航天大学，数学与应用数学，理学学士 工作简历 2013年9月至今：北京航空航天大学，数学与系统科学学院，讲师 (硕士生导师) 科研项目 2018年1月~2021年12月：基于特征列与Groebner基内蕴关系的消去理论和方法，自然科学基金面上项目，参与 2015年1月~2017年12月：结构化多项式系统的三角化求解方法研究，自然科学基金青年项目，主持 2014年3月~2014年12月：稀疏多项式系统的高效符号求解算法研究，基本科研业务费（自由探索类），主持 书籍 王东明, 牟晨琪, 李晓亮, 杨静, 金萌, 黄艳丽. 多项式代数. 高等教育出版社, 北京, 2011 [封面, 购买] 预印本 Dongming Wang, Rina Dong, and Chenqi Mou. Decomposition of polynomial sets into characteristic pairs. arXiv:1702.08664 [cs.SC] 教学活动 2017年秋：信息论与编码，48学时，数学与系统科学学院本科生 2017年春：概率统计B，32学时，本科生公选课 2016年秋：信息论与编码，48学时，数学与系统科学学院本科生 2016年春：概率统计B，32学时，能源与动力工程学院本科生 2015年秋：信息论与编码，48学时，数学与系统科学学院本科生 2015年春：概率统计B，32学时，化学与环境学院本科生 2014年秋：信息论与编码，48学时，本科选修课 2014年春：概率统计B，48学时，机械工程及自动化学院本科生 2013年秋：数学分析习题课，32学时，数学与系统科学学院本科生 所获奖励 2016年北京航空航天大学校级研究生优秀教学成果奖一等奖：多平台融合的研究生生源质量保障体系的探索与实践，第三完成人 2014年北京航空航天大学校级本科优秀教学成果奖一等奖（教材）：《多项式代数》，第二完成人 学术活动： 国内会议CM 2017程序委员会成员, 中国湘潭, 2017 国内会议CM 2016程序委员会成员, 中国深圳, 2016 国际会议ICMS 2016程序委员会成员, 德国柏林, 2016 国际会议MACIS 2015程序委员会成员, 德国柏林, 2015 第四期符号计算暑期讲习班SSSC2015组织委员会主席, 中国北京, 2015 国际会议MACIS 2013联合宣传主席, 中国南宁, 2013 国际研讨会Workshop in Logic, Algebra and Computation联合组织人, 中国北京, 2013 国际会议SCC 2008本地组织者, 中国北京, 2008 学术访问： 2015年11月：法国国家信息与自动化研究所南希分部 2014年11月：法国巴黎第六大学计算机科学实验室