符紅光

符紅光男生於1965年9月26日,研究方向是符號計算。

符紅光 性別：男
研究方向：符號計算
生於1965年9月26日
教育背景
1986年7月，獲四川大學計算數學理學學士；1989年7月獲中國科學院系統所套用數學碩士學位；1999年獲四川大學基礎數學理學博士學位，師從楊璐。
教學情況
2007年9月擔任《求解非線性代數方程組的理論與解法》教學工作
科研情況
在國際上首次提出構造一般Dixon結式矩陣的快速算法，該算法是目前國際上效率最高的Dixon矩陣構造算法，用此算法首次得到了9循環方程標高問題的Dixon矩陣；6關節機器人的反運動學問題的符號解是機器人學中長期未解決的難題，他採用幾何不變數方法，成功地解決了這一問題。國外對此工作的評價是：“Congratulation the authors did some really hard and good work!”. 在1999年的973項目年度總結會上，國家最高科技獎獲得者吳文俊院士評價說：“這項工作是最近幾年我國機器證明領域取得的重要成果之一”；提出了用子結式序列構造廣義Sturm序列的一般算法，以及用子結式多項式序列構造完全判別系統的算法。 先後主持參與了中國科學院知識創新工程、國家973、８６３高技術項目、國家自然科學基金等項目，在國內外著名學術期刊上發表論文30多篇，被SCI、EI等檢索收錄論文10多篇。
獲獎情況
作為完成人之一的“定理機器證明理論與算法的新進展”項目獲1995年中國科學院自然科學一等獎，1997年國家自然科學二等獎。他主持研製的國內第一套具有自動解題功能的智慧型教育軟體，通過了國家教育部中、國小教材審定委員會審定，並獲得中國優秀軟體產品和國家重點新產品的榮譽。
備註
1994年至1996年兩度到聯合國大學國際軟體技術研究所訪問。1999年到美國紐約州立大學石溪分校參加高級信息管理培訓。 是ACM會員、國家863項目評審專家、四川省有突出貢獻的優秀專家，四川省學術技術帶頭人。