2019年3月27日上午，中科院数学与系统科学研究院，数学机械化重点实验室陈绍示副研究员（博士生导师）应邀在理工北楼301为welcome皇冠地址教师作了题为《Fatou's theorems on power series and their multivariate extensions》的学术报告。数科学院院长柏传志教授主持了此次报告会。数科学院的部分教师聆听了此次报告。
陈绍示副研究员的报告介绍了Fatou关于形式幂级数的有理-超越二分定理，以及报告人与合作者关于Fatou定理的多变量推广和在D-finite形式幂级数上的推广。他的报告深入浅出，既有理论深度，又详细地介绍了问题的背景。陈绍示副研究员还介绍了一些他的研究心得。他的报告让大家受益匪浅。报告会在一片掌声中结束。
陈绍示现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，计算微分代数与代数组合学。 2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业，曾先后在奥地利 Linz 大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。2013年回国到中科院数学与系统科学研究院系统所工作，2017年晋升为副研究员。 先后主持国家自然科学青年基金，教育部留学回国人员科研启动基金，与国家自然科学面上基金. 在符号计算领域权威会议 ISSAC 录用论文12篇，以及 Journal of Symbolic Computation，Journal of Algebra,和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任国际符号与代数计算专业委员会《ACM Communications in Computer Algebra》 副编委，《系统科学与数学》编委。获得国际符号与代数计算年会“ISSAC2014 杰出海报奖”，中国科学院数学与系统科学研究院“2014 年度突出科研成果奖”与“2018年度重要科研进展奖”。2014年入选中国科学院第七届“陈景润未来之星”人才计划和中国科学院2018年度青年创新促进会会员。
