电子科技大学计算机科学与工程学院导师介绍：符红光

　　►个人简介
　　符红光，教授

　　►联系方式
　　邮箱：fu_hongguang@hotmail.com

　　►教育背景
　　1986年7月，获四川大学计算数学理学学士；1989年7月获中国科学院系统所应用数学硕士学位；1999年获四川大学基础数学理学博士学位。

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