基本介紹
- 中文名：楊路
- 國籍：中國
- 民族：漢族
- 出生日期：1936年10月
- 職業：研究員
人物生平,獲得成就,
人物生平
楊路1936年10月生，廣州大學廣州市數學與人工智慧國際交流中心主任，研究員，博士生導師（1993年起任）第十屆全國人大代表，國家重點基礎研究發展規劃（973）專家委員會委員，973項目“構造性實代數幾何與不等式自動推理”主持人中國科學院知識創新項目“不等式自動推理及其在高技術領域的套用”首席科學家。近期主要從事計算機自動推理與智慧型軟體技術的研究。所創“多項式完全判別系統”被行內專家認為是“解決了實代數的基本問題”，所開發的“BOTTEMA”等軟體是目前國內外關於不等式機器證明和機器發現的效率最高的軟體。發表論著120多篇（部）。研究成果曾獲中國科學院自然科學一等獎、國家自然科學二等獎、中國專利博覽會金獎。在數學和計算機兩個學科培養博士13名。計算機自動推理（含機器證明）、幾何算法、智慧型軟體技術。
獲得成就
1979 — 1985 中國科技大學數學系，講師、副教授。1986 — 1991 中國科學院成都數理科學研究室，研究員、副主任。1992 — 中國科學院成都計算機套用研究所，研究員。1992 — 1996 中科院成都計算機所，數學與計算機科學研究中心，主任。1992 — 1996 國家85攀登項目“機器證明及其套用” 專家委員會成員。1993 年 任IMO中國國家代表隊領隊、主教練。1995 — 北京大學數學科學學院信息科學系，教授、系主任（兼）。1995 — 廣州市數學與人工智慧中心主任、廣州大學軟體所，教授（兼）。1997 — 1998 國家95攀登項目“數學機械化的研究與套用” 首席科學家。1988 — 1989 澳大利亞國立大學等四所大學，客座教授。1990 — 1991 義大利理論物理中心、德國Bielefeld大學等，客座教授。1993 — 1994 美國紐約州立大學、Wichita州立大學等，客座教授。1995年11月訪問聯合國大學國際軟體所。1995年12月訪問新加坡國立大學。1996年7月 訪問奧地利符號計算研究所。1997年9月 訪問台北中中央研究院、台北清華大學等多個單位。1998．3-7月 法國國家科研中心，客座研究員。1.1959年畢業於北京大學數學系。2.研究員、計算機軟體與理論博士生導師、數學博士生導師。3.中國科學院“不等式機器證明與機器發現”知識創新項目首席科學家。4.國家973項目“數學機械化與自動推理平台”（G1998040600）專家委員會成員。5.國家973項目“構造性實代數幾何與不等式自動推理”（G1998030602）主持人。
1.1995年獲中國科學院自然科學一等獎。2.1997年獲國家自然科學二等獎。3.2001年獲中國第8屆專利博覽會金獎。4.2003年獲全國“五一”勞動獎章。
