符红光生于1965年9月26日，中国计算数学专家，研究方向为符号计算、计算机代数、人工智能、数据挖掘、语义网、图形计算、计算生物等领域。1986年获得四川大学计算数学理学学士，1989年获得中国科学院系统所应用数学硕士学位，1999年获得四川大学纯粹数学理学博士学位，师从杨路。1994年担任澳门联合国大学国际软件技术研究所访问学者，1999年前往纽约州立大学石溪分校学习。2000年起，担任中国科学院成都计算机应用研究所研究员，副所长，2002年起担任中国科学院博士生导师。2005年起，担任四川省学术技术带头人，2006年起担任电子科技大学计算机科学与工程学院教授、博导。在科研领域取得了一系列重要成果，包括解决6关节机器人反运动学问题的符号解问题，提出快速Dixon结式算法和去多余因式算法以及构造广义Sturm序列的递归算法等。

人物简介

2007年9月担任《求解非线性代数方程组的理论与解法》教学工作。

在国际上首次提出构造一般Dixon结式矩阵的快速算法，该算法是目前国际上效率最高的Dixon矩阵构造算法，用此算法首次得到了9循环方程标高问题的Dixon矩阵；6关节机器人的反运动学问题的符号解是机器人学中长期未解决的难题，他采用几何不变量方法，成功地解决了这一问题。国外对此工作的评价是：“Congratulation the authors did some really hard and good work!”. 在1999年的973项目年度总结会上，国家最高科学技术奖获得者吴文俊院士评价说：“这项工作是最近几年我国机器证明领域取得的重要成果之一”；提出了用子结式序列构造广义Sturm序列的一般算法，以及用子结式多项式序列构造完全判别系统的算法。先后主持参与了中国科学院知识创新工程、国家973、863高技术项目、国家自然科学基金等项目，在国内外著名学术期刊上发表论文30多篇，被SCI、EI等检索收录论文10多篇。

作为完成人之一的“定理机器证明理论与算法的新进展”项目获1995年中国科学院自然科学一等奖，1997年国家自然科学二等奖。他主持研制的国内第一套具有自动解题功能的智能教育软件，通过了国家教育部中、小学教材审定委员会审定，并获得中国优秀软件产品和国家重点新产品的荣誉。符红光其主要贡献是解决了6关节机器人反运动学问题的符号解问题，得到了吴文俊院士的高度评价；提出了快速Dixon结式算法和去多余因式算法以及构造广义Sturm序列的递归算法；在张景中院士领衔下，负责开发出了国际先进的具有自动解题功能的智能教育软件平台；领衔开发出了我国第一套图形计算器，打破了美国德州仪器和惠普等国际IT巨头的垄断，填补了国内空白。先后获得国家自然科学二等奖、中国科学院自然科学一等奖、四川省青年科技奖、四川省有突出贡献的优秀专家以及国家政府津贴的奖励。

1994年至1996年两度到联合国大学国际软件技术研究所访问。1999年到纽约州立大学石溪分校参加高级信息管理培训。是ACM会员、国家863项目评审专家、四川省有突出贡献的优秀专家，四川省学术技术带头人。

参考资料