個(gè)人簡(jiǎn)歷
男，1942年10月生于貴州安順，1964年，7月畢業(yè)于貴州大學(xué)數學(xué)系，1979---1980在華中工學(xué)院數理邏輯研究班學(xué)習，1980在貴州大學(xué)任教，1983年任澳大利亞Monash大學(xué)數學(xué)系高級講師，1984---1989任貴州大學(xué)校長(cháng)，1986年任貴州大學(xué)教授，1995年評為中國科學(xué)院軟件所博士導師，現任貴州大學(xué)名譽(yù)校長(cháng)，貴州省科協(xié)副主席，武漢大學(xué)軟件工程國家重點(diǎn)實(shí)驗室學(xué)術(shù)委員會(huì )委員，中國科學(xué)院軟件所計算機科學(xué)開(kāi)放實(shí)驗室學(xué)術(shù)委員會(huì )委員，教授，博士生導師。
主要業(yè)績(jì)
致力于計算機軟件與理論的教學(xué)與科學(xué)研究，在遞歸論，計算復雜性理論，計算機算法與密碼，計算機邏輯等方面在國內外著(zhù)名學(xué)術(shù)刊物發(fā)表論文數十篇，著(zhù)有專(zhuān)著(zhù)《可計算性理論導引》一部，主編《操作系統》、《計算機科學(xué)》等著(zhù)作多部，是貴州大學(xué)《計算機軟件與理論》專(zhuān)業(yè)碩士點(diǎn)的學(xué)術(shù)帶頭人，培養碩士生數十名。 中國撰有論文《可計算性理論導引》、《遞歸可表現拓撲空間中處處非遞歸可枚舉集》（英文）。
科研論文
1、基于集成的協(xié)同設計沖突消解系統研究 期刊《計算機集成制造系統》 2000年4期 作者：李祥，袁國華，周雄輝，阮雪榆。 2、多方安全矩陣乘積協(xié)議及應用 期刊 《計算機學(xué)報》 2005年7期 作者：羅文俊，李祥 3、基于A(yíng)TL的公平電子商務(wù)協(xié)議形式化分析 期刊 《電子與信息學(xué)報》2007年4期 作者：文靜華，李祥，張煥國，梁敏，張梅