符紅光

符紅光，1986年7月，獲四川大學計算數學理學學士；1；1999年獲四川大學基礎數學理學博士學位，師從楊路1986年四川大學數學系計算數學專業畢業，1989年中國科學院系統所套用數學專業碩士畢業，1999年四川大學數學系基礎數學專業博士畢業。1994年澳門聯合國大學國際軟體技術研究所訪問學者，1999年在美國紐約州立大學石溪分校學習，2000年任中國科學院成都計算機套用研究所研究員，中國科學院成都計算機套用研究所副所長，2002年任中國科學院博士生導師，2005年任四川省學術技術帶頭人，2006任電子科技大學計算機科學與工程學院教授、博導。

基本介紹

• 中文名：符紅光
• 出生日期：1965年9月26日
• 畢業院校：四川大學 
• 研究方向 ： 符號計算
• 性別：男

教育背景

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

教學情況

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

科研方向

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

科研情況

在國際上首次提出構造一般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年國家自然科學二等獎。他主持研製的國內第一套具有自動解題功能的智慧型教育軟體，通過了國家教育部中、國小教材審定委員會審定，並獲得中國優秀軟體產品和國家重點新產品的榮譽。

其他備註

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