數(shù)學(xué)家楊路
簡介
1936年10月生，廣州大學(xué) 廣州市數(shù)學(xué)與人工智能國際交流中心主任，研究員，博士生導(dǎo)師（1993年起任）
第十屆全國人大代表，國家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃（973）專家委員會委員，973項(xiàng)目“構(gòu)造性實(shí)代數(shù)幾何與不等式自動推理”主持人
中國科學(xué)院知識創(chuàng)新項(xiàng)目“不等式自動推理及其在高技術(shù)領(lǐng)域的應(yīng)用”首席科學(xué)家。近期主要從事計(jì)算機(jī)自動推理與智能軟件技術(shù)的研究。
所創(chuàng)“多項(xiàng)式完全判別系統(tǒng)”被行內(nèi)專家認(rèn)為是“解決了實(shí)代數(shù)的基本問題”，所開發(fā)的“BOTTEMA”等軟件是目前國內(nèi)外關(guān)于不等式機(jī)器證明和機(jī)器發(fā)現(xiàn)的效率最高的軟件。發(fā)表論著120多篇（部）。研究成果曾獲中國科學(xué)院自然科學(xué)一等獎、國家自然科學(xué)二等獎、中國專利博覽會金獎。在數(shù)學(xué)和計(jì)算機(jī)兩個(gè)學(xué)科培養(yǎng)博士13名。
研究方向
計(jì)算機(jī)自動推理（含機(jī)器證明）、幾何算法、智能軟件技術(shù)。
主要經(jīng)歷
1.1959年畢業(yè)于北京大學(xué)數(shù)學(xué)系。
2.研究員、計(jì)算機(jī)軟件與理論博士生導(dǎo)師、數(shù)學(xué)博士生導(dǎo)師。
3.中國科學(xué)院“不等式機(jī)器證明與機(jī)器發(fā)現(xiàn)”知識創(chuàng)新項(xiàng)目首席科學(xué)家。
4.國家973項(xiàng)目“數(shù)學(xué)機(jī)械化與自動推理平臺”（G1998040600）專家委員會成員。
5.國家973項(xiàng)目“構(gòu)造性實(shí)代數(shù)幾何與不等式自動推理”（G1998030602）主持人。
工作簡歷
1979 — 1985中國科技大學(xué)數(shù)學(xué)系，講師、副教授。
1986 — 1991中國科學(xué)院成都數(shù)理科學(xué)研究室，研究員、副主任。
1992 — 中國科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所，研究員。
1992 — 1996 中科院成都計(jì)算機(jī)所，數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究中心，主任。
1992 — 1996 國家85攀登項(xiàng)目“機(jī)器證明及其應(yīng)用” 專家委員會成員。
1993 年 任IMO中國國家代表隊(duì)領(lǐng)隊(duì)、主教練。
1995 —北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院信息科學(xué)系，教授、系主任（兼）。
1995 — 廣州市數(shù)學(xué)與人工智能中心主任、廣州大學(xué)軟件所，教授（兼）。
1997 — 1998 國家95攀登項(xiàng)目“數(shù)學(xué)機(jī)械化的研究與應(yīng)用” 首席科學(xué)家。
1988 — 1989澳大利亞國立大學(xué)等四所大學(xué)，客座教授。
1990 — 1991 意大利理論物理中心、德國Bielefeld大學(xué)等，客座教授。
1993 — 1994美國紐約州立大學(xué)、Wichita州立大學(xué)等，客座教授。
1995年11月訪問聯(lián)合國大學(xué)國際軟件所。
1995年12月訪問新加坡國立大學(xué)。
1996年7月 訪問奧地利符號計(jì)算研究所。
1997年9月 訪問臺北中中央研究院、臺北清華大學(xué)等多個(gè)單位。
1998．3-7月法國國家科研中心，客座研究員。
研究成果及獲獎情況
1.1995年獲中國科學(xué)院自然科學(xué)一等獎。
2.1997年獲國家自然科學(xué)二等獎。
3.2001年獲中國第8屆專利博覽會金獎。
4.2003年獲全國“五一”勞動獎?wù)隆?/p>