基本信息
陈绍示  男  博导  中国科学院数学与系统科学研究院
电子邮件： schen@amss.ac.cn
通信地址： 中关村东路55号，思源楼，数学机械化中心
邮政编码： 100190

研究领域

符号计算与机器证明、组合数学、计算微分代数、算术动力系统

招生信息

欢迎对符号计算、组合数学、算术动力系统等研究方向感兴趣的同学报考!

招生专业
070104-应用数学
招生方向
符号计算与机器证明
组合数学

教育背景

2007-12--2011-02   巴黎综合理工学校   博士研究生，计算机科学博士学位
2005-09--2011-01   中国科学院数学与系统科学研究院   硕博连读研究生，应用数学博士学位
2001-09--2005-07   江苏大学   本科，理学学士学位
学历

博士研究生

学位

应用数学博士学位, 计算机科学博士学位

工作经历

2024/04 -- 至今, 研究员， 中国科学院数学与系统科学研究院
2017/03 -- 2024/04, 副研究员, 中国科学院数学与系统科学研究院 
2013/07 -- 2017/03, 助理研究员, 中国科学院数学与系统科学研究院 


简历
2015-10~2016-08,加拿大滑铁卢大学计算机系, Fields-Ontario 博士后
2013-07~现在, 中国科学院数学与系统科学研究院, 助理研究员
2011-08~2013-07,美国北卡罗来纳州立大学数学系, 博士后
2011-02~2011-08,奥地利林茨大学符号计算研究所, 博士后
社会兼职
2023-07-30-今,Journal of Symbolic Computation, 编委
2023-07-27-2027-07-01,中国运筹学会图论组合分会, 副秘书长
2023-01-20-今,Journal of Difference Equations and Applications, 编委
2021-06-05-2025-06-06,中国数学会计算机数学专业委员会, 秘书长
2021-05-31-2025-05-31,国际计算机协会符号与代数计算专业委员会（ACM SIGSAM ）, 秘书长
2020-01-01-今,Journal of Systems Science and Complexity, 编委
2019-09-01-今,Annals of Combinatorics, 编委

教授课程

抽象代数 II （中科院-北航华罗庚班）
线性代数习题课