李祥[貴州大學名譽校長]

李祥，男，1942年10月生於貴州安順，現任貴州大學名譽校長，貴州省科協副主席，武漢大學軟體工程國家重點實驗室學術委員會委員，中國科學院軟體所計算機科學開放實驗室學術委員會委員，教授，博士生導師。

基本信息

• 中文名：李祥
• 出生日期：1942年10月
• 性別：男
• 出生地：貴州安順
• 職業：教授 貴州大學名譽校長
  
• 畢業院校：貴州大學數學系

• 研究方向：計算機軟體與理論

人物簡介

李祥

李祥，男，1942年10月生於貴州安順，1964年，7月畢業於貴州大學數學系，1979-1980在華中工學院數理邏輯研究班學習，1980在貴州大學任教，1983年任澳大利亞Monash大學數學系高級講師，1984-1989任貴州大學校長，1986年任貴州大學教授，1995年評為中國科學院軟體所博士導師，現任貴州大學名譽校長，貴州省科協副主席，武漢大學軟體工程國家重點實驗室學術委員會委員，中國科學院軟體所計算機科學開放實驗室學術委員會委員，教授，博士生導師。

研究方向

致力於計算機軟體與理論的教學與科學研究，在遞歸論，計算複雜性理論，計算機算法與密碼，計算機邏輯等方面在國內外著名學術刊物發表論文數十篇，著有專著《可計算性理論導引》一部，主編《作業系統》、《計算機科學》等著作多部，是貴州大學《計算機軟體與理論》專業碩士點的學術帶頭人，培養碩士生數十名。中國撰有論文《可計算性理論導引》、《遞歸可表現拓撲空間中處處非遞歸可枚舉集》（英文）。

科研論文

1、基於集成的協同設計衝突消解系統研究，期刊《計算機集成製造系統》2000年4期，作者：李祥，袁國華，周雄輝，阮雪榆。
2、多方安全矩陣乘積協定及套用，期刊《計算機學報》2005年7期，作者：羅文俊，李祥
3、基於ATL的公平電子商務協定形式化分析，期刊《電子與信息學報》2007年4期，作者：文靜華，李祥，張煥國，梁敏，張梅4、可計算性理論導引，《數學年刊A輯(中文版)》,1985年第3期