著作 | 论文 | 演讲 | 软件 | 科研 | 学生 | 业余 | 小传 | 学术活动 | 学术期刊 | 中国科学 教育部长江学者特聘教授 -  广西八桂学者 -  法国国家科学研究中心主任研究员 - 欧洲科学院院士

English

北京市100191 海淀区学院路37号 北京航空航天大学 数学与系统科学学院

电话: (86) 10 8233 8311 邮箱:

 北航数据与信息科学创新群体 -  数学、信息与行为教育部重点实验室 -  软件开发环境国家重点实验室 -  国际科学家流动站

学    历

• 1999年1月：指导研究资格学位，法国格勒诺布尔国立理工学院
  
• 1987年7月：博士学位，中国科学院系统科学研究所
  
• 1983年7月：学士学位，中国科学技术大学

任    职

• 2014年4月至今：广西民族大学
  软件与信息安全学院
  
• 2003年10月至今：北京航空航天大学
  数学与系统科学学院
  
• 1992年10月至今：法国国家科学研究中心
  2000年1月至2014年3月：巴黎第六大学计算机科学实验室
  1995年10月至1999年12月：莱布尼茨实验室
  1992年10月至1995年9月：计算机科学与人工智能实验室
• 1988年3月至1992年9月：奥地利开普勒大学
  符号计算研究所
• 1987年8月至1988年2月：中国科学院
  系统科学研究所

研究领域

• 计算机代数与分析
  
• 几何推理（文献）
  
• 知识管理与发现

学术活动

• SCIENCE CHINA Information Sciences, Mathematics in Computer Science
  PAS 2015 2014 2013 2012, (SC)² 2015, GC 2015 2002, SCDG 2011, GB 2006
• SCA 2010, SNC 2009 2007 2005, SCC 2008, ISSAC 2007 2005 2004 '96
  AISC 2014 2010 2008 2006 2004 2002 2000 '98, MKM 2010, KEOD 2009
  
• ADG 2016 2014 2012 2010 2008 2006 2004 2002 2000 '98 '96, AAGR '92
  ANB 2010, AB 2009 2008 2007 2005, SNPD 2008 2007, ISDEABS 2007, A3L 2005
• AWFS 2012 2010 2009 2007, ASCM 2007 2005 2003 2001 2000, SYCM 2006
  SSSC 2015 2009 2006 2004, HSB 2013, SRATC 2008, SCE 2006, DESC 2004
• SCSS 2017 2016 2014, MACIS 2013 2011 2007 2006, ATCM 2002 2001 2000 '99
  ICMS 2016 2014 2010 2006 2002, CADE-16 15 14 13, CALCULEMUS '99
• CRC 2011, Chinese-SALSA 2008 2007, ICPSS 2004, IMACS ACA '96 '95
  SYNASC 2014 2013 2012 2011 2010 2009, RCA '09, ICRM 2009, ICMM 2009
• Journal of Symbolic Computation  Special Issue on Polynomial Elimination

科研论著                    +  Epsilon [ CharSets | GEOTHER ] Geo*

邀请报告

毕业博士

业余爱好