李祥(貴州大學校長)

李祥,男,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期 作者:文靜華,李祥,張煥國梁敏張梅

相關詞條

熱門詞條

聯絡我們