共找到32條詞條名為李祥的結果 展開
- 貴州大學名譽校長
- 甘肅省隴南市委原常委、成縣縣委原書記
- 赤峰市公安局治安管理支隊支隊長
- 唐瓊王
- 吉林省長春市委常委、政法委書記
- 山西省發展和改革委員會總經濟師
- 抗美援朝二級戰鬥英雄
- 原國家公安部七局局長
- 寶安美術家協會顧問、深圳寶安畫院特聘畫家
- 編劇
- 安徽省合肥市規劃委員會辦公室副主任
- 大慶市文化廣電新聞出版局副調研員
- 抗日烈士
- 貴陽市大數據發展管理委員會處長
- 伽馬刀專家
- 南京中醫藥大學教授
- 貴金屬分析師
- 東華理工大學信息工程學院副教授
- 靖遠縣政府法制辦公室主任
- 湖北英才教育諮詢有限公司總經理
- 河北省灤南籍烈士
- 洪澤縣規劃局副局長
- 北宋宦官、將領
- 廣西陸川吉桂飼料有限公司董事長
- 華中農業大學教授
- 重慶市黔江區金洞鄉副鄉長
- 明朝官員
- 大學生村官
- 北魏官吏
- 思界鄉黨委副書記
- 懷柔縣公安局科長
- 吉首市河溪鎮新建村秘書
李祥
貴州大學名譽校長
| 時間 | 院校 | 專業 | 學位 |
| xx-1964年7月 | 貴州大學 | 數學 | 學士 |
| 1979年-1980年 | 華中工學院 | 數理邏輯 | 碩士 |
1980在貴州大學任教。
1983年任澳大利亞Monash大學數學系高級講師。
1984---1989任貴州大學校長。
1986年任貴州大學教授。
1995年評為中國科學院軟體所博士導師。
現任貴州大學名譽校長。
現任中國科學院軟體所計算機科學開放實驗室學術委員會委員，教授，博士生導師。
論文
《可計算性理論導引》
《遞歸可表現拓撲空間中處處非遞歸可枚舉集》（英文）
基於集成的協同設計衝突消解系統研究 期刊《計算機集成製造系統》 2000年4期 作者：李祥，袁國華，周雄輝，阮雪榆。
多方安全矩陣乘積協議及應用 期刊《計算機學報》 2005年7期 作者：羅文俊，李祥
基於ATL的公平電子商務協議形式化分析 期刊《電子與信息學報》2007年4期 作者：文靜華，李祥，張煥國，梁敏，張梅
著作
《可計算性理論導引》
《操作系統》
《計算機科學》
兼任貴州省科協副主席。
兼任武漢大學軟體工程國家重點實驗室學術委員會委員。
