符紅光

1986年7月，獲四川大學計算數學理學學士；1989年7月獲中國科學院系統所應用數學碩士學位；1999年獲四川大學基礎數學理學博士學位，師從楊路。 ^[1] 

2007年9月擔任《求解非線性代數方程組的理論與解法》教學工作 ^[1] 

符紅光教授主要從事計算機代數、人工智能、數據挖掘、語義網、圖形計算、計算生物等領域的研究。其主要貢獻是解決了6關節機器人反運動學問題的符號解問題，得到了吳文俊院士的高度評價；提出了快速Dixon結式算法和去多餘因式算法以及構造廣義Sturm序列的遞歸算法；在張景中院士領銜下，負責開發出了國際先進的具有自動解題功能的智能教育軟件平台；領銜開發出了我國第一套圖形計算器，打破了美國德州儀器和惠普等國際IT巨頭的壟斷，填補了國內空白。先後獲得國家自然科學二等獎、中國科學院自然科學一等獎、四川省青年科技獎、四川省有突出貢獻的優秀專家以及國家政府津貼的獎勵。 ^[3] 

在國際上首次提出構造一般Dixon結式矩陣的快速算法，該算法是國際上效率最高的Dixon矩陣構造算法，用此算法首次得到了9循環方程標高問題的Dixon矩陣；6關節機器人的反運動學問題的符號解是機器人學中長期未解決的難題，他採用幾何不變量方法，成功地解決了這一問題。國外對此工作的評價是：“Congratulation the authors did some really hard and good work!”. 在1999年的973項目年度總結會上，國家最高科技獎獲得者吳文俊院士評價説：“這項工作是最近幾年我國機器證明領域取得的重要成果之一”；提出了用子結式序列構造廣義Sturm序列的一般算法，以及用子結式多項式序列構造完全判別系統的算法。 　先後主持參與了中國科學院知識創新工程、國家973、863高技術項目、國家自然科學基金等項目，在國內外著名學術期刊上發表論文30多篇，被SCI、EI等檢索收錄論文10多篇。 ^[1] 

作為完成人之一的“定理機器證明理論與算法的新進展”項目獲1995年中國科學院自然科學一等獎，1997年國家自然科學二等獎。他主持研製的國內第一套具有自動解題功能的智能教育軟件，通過了國家教育部中、小學教材審定委員會審定，並獲得中國優秀軟件產品和國家重點新產品的榮譽。 ^[1] 

1994年至1996年兩度到聯合國大學國際軟件技術研究所訪問。1999年到美國紐約州立大學石溪分校參加高級信息管理培訓。 是ACM會員、國家863項目評審專家、四川省有突出貢獻的優秀專家，四川省學術技術帶頭人。 ^[1]