研究方向介紹：計算機自動(dòng)推理（含機器證明）、幾何算法、智能軟件技術(shù)。

主要經(jīng)歷：
　　1.1959年畢業(yè)于北京大學(xué)數學(xué)系。
　　2.研究員、計算機軟件與理論博士生導師、數學(xué)博士生導師。
　　3.中國科學(xué)院“不等式機器證明與機器發(fā)現”知識創(chuàng )新項目首席科學(xué)家。
　　4.國家973項目“數學(xué)機械化與自動(dòng)推理平臺”（G1998040600）專(zhuān)家委員會(huì )成員。
　　5.國家973項目“構造性實(shí)代數幾何與不等式自動(dòng)推理”（G1998030602）主持人。
 工作簡(jiǎn)歷：
　　1979 — 1985 中國科技大學(xué)數學(xué)系，講師、副教授。
　　1986 — 1991 中國科學(xué)院成都數理科學(xué)研究室，研究員、副主任。
　　1992 —      中國科學(xué)院成都計算機應用研究所，研究員。
　　1992 — 1996 中科院成都計算機所，數學(xué)與計算機科學(xué)研究中心，主任。
　　1992 — 1996 國家85攀登項目“機器證明及其應用” 專(zhuān)家委員會(huì )成員。
　　1993 年      任IMO中國國家代表隊領(lǐng)隊、主教練。
　　1995 —      北京大學(xué)數學(xué)科學(xué)學(xué)院信息科學(xué)系，教授、系主任（兼）。
　　1995 —      廣州市數學(xué)與人工智能中心主任、廣州大學(xué)軟件所，教授（兼）。
　　1997 — 1998 國家95攀登項目“數學(xué)機械化的研究與應用” 首席科學(xué)家。
　　1988 — 1989 澳大利亞國立大學(xué)等四所大學(xué)，客座教授。
　　1990 — 1991 意大利理論物理中心、德國Bielefeld大學(xué)等，客座教授。
　　1993 — 1994 美國紐約州立大學(xué)、Wichita州立大學(xué)等，客座教授。
　　1995年11月訪(fǎng)問(wèn)聯(lián)合國大學(xué)國際軟件所。
　　1995年12月訪(fǎng)問(wèn)新加坡國立大學(xué)。
　　1996年7月  訪(fǎng)問(wèn)奧地利符號計算研究所。
　　1997年9月  訪(fǎng)問(wèn)臺北中中央研究院、臺北清華大學(xué)等多個(gè)單位。
　　1998．3-7月  法國國家科研中心，客座研究員。
研究成果及獲獎情況：
　　1.1995年獲中國科學(xué)院自然科學(xué)一等獎。
　　2.1997年獲國家自然科學(xué)二等獎。
　　3.2001年獲中國第8屆專(zhuān)利博覽會(huì )金獎。 
　　4.2003年獲全國“五一”勞動(dòng)獎?wù)隆?/span>
 聯(lián)系方式:
　　Email: luyang@casit.ac.cn