變更

{{Infobox person| 姓名 =李祥|圖片 = [[File:李祥1.jpg|缩略图|居中|250px|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1565980614928&di=18fb26219dcac11655b1cab46a67d735&imgtype=0&src=http%3A%2F%2Fa1.att.hudong.com%2F03%2F16%2F20300543975669147520169614670.jpg 原图链接][http://tupian.baike.com/a1_03_16_20300543975669147520169614670_140_jpg.html 图片来源于互动百科网]]]|圖片尺寸 = | 圖像說明 = | 出生日期 =1942年10月 | 國籍 = 中國| 别名 = | 職業 = 校长| 知名原因 = | 知名作品 = </br> </br> </br> </br> }}  '''李祥''' ，男，1942  1942 年10月生于[[贵州安顺]] ，1964 ， 1964 年，7月毕业于[[贵州大学]]数学系，贵州大学校长 。1979。 1979---1980在华中工学院数理逻辑研究班学习 ，1980 ， 1980 在贵州大学任教，1983年任[[澳大利亚]]Monash大学数学系高级讲师 ，1984， 1984---1989任贵州大学校长，1986年任贵州大学教授 ，1995 ， 1995 年评为中国科学院软件所博士导师，   现任贵州大学名誉校长，贵州省科协副主席，[[武汉大学]]软件工程国家重点实验室学术委员会委员，   中国科学院软件所计算机科学开放实验室学术委员会委员，教授，博士生导师。{{Infobox person | 姓名 =李祥 | 图像 = [https://p1.ssl.qhmsg.com/t018c054762c9c36b50.jpg 原图链接] [https://baike.so.com/doc/1754843-1855643.html 来自360网]| 图像说明 = | 出生日期 = 1942年10月| 出生地点 =贵州安顺 | 国籍 =中国 | 别名 = | 职业 = 校长 | 知名作 = <br>}}

 致力于计算机软件与理论的教学与科学研究，在递归论，计算复杂性理论，计算机算法与密码，计算机逻辑等方面在国内外著名学术刊物发表论文数十篇，著有专著《 [[ 可计算性理论导引 ]] 》一部，主编《 [[ 操作系统 ]] 》、《 [[ 计算机科学 ]] 》等著作多部，是贵州大学《 [[ 计算机软件与理论 ]] 》专业硕士点的学术带头人，培养硕士生数十名。 中国撰有论文《 [[ 可计算性理论导引》、《递归可表现拓扑空间中处处非递归可枚举集》]](英文)。

[File:李祥3.jpg|缩略图|右|350px|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1566575359&di=841c7aa7dbcf4f133decd994bd08c3c7&imgtype=jpg&er=1&src=http%3A%2F%2Fa3.att.hudong.com%2F30%2F52%2F01300543975669147666520077971.jpg 原图链接][http://tupian.baike.com/s/%E6%9D%8E%E7%A5%A5%5B%E8%B4%B5%E5%B7%9E%E5%A4%A7%E5%AD%A6%E5%90%8D%E8%AA%89%E6%A0%A1%E9%95%BF%5D/xgtupian/1/3?target= 图片来源于互动百科网]]] 1、基于集成的协同设计冲突消解系统研究 期刊《[[计算机集成制造系统]]》2000年4期 作者:李祥，袁国华，周雄辉，阮雪榆。 2、多方安全矩阵乘积协议及应用 期刊 《 [[ 计算机学报 ]] 》 2005年7期 作者:罗文俊，李祥

3、基于ATL的公平电子商务协议形式化分析 期刊 《 [[ 电子与信息学报 ]] 》2007年4期 作者:文静华，李祥，张焕国，梁敏，张梅