符紅光生于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項目評審專家、四川省有突出貢獻的優秀專家，四川省學術技術帶頭人。
參考資料 >