變更

較新編輯 →

李祥

增加 2,034 位元組, 5 年前

创建页面，内容为“'''李祥'''，男，1942年10月生于贵州安顺，1964年，7月毕业于贵州大学数学系，贵州大学校长。1979---1980在华中工学院数理…”

'''李祥'''，男，1942年10月生于[[贵州安顺]]，1964年，7月毕业于[[贵州大学]]数学系，贵州大学校长。1979---1980在华中工学院数理逻辑研究班学习，1980在贵州大学任教，1983年任[[澳大利亚]]Monash大学数学系高级讲师，1984---1989任贵州大学校长，1986年任贵州大学教授，1995年评为中国科学院软件所博士导师，现任贵州大学名誉校长，贵州省科协副主席，[[武汉大学]]软件工程国家重点实验室学术委员会委员，中国科学院软件所计算机科学开放实验室学术委员会委员，教授，博士生导师。
{{Infobox person
| 姓名 =李祥
| 图像 = [https://p1.ssl.qhmsg.com/t018c054762c9c36b50.jpg 原图链接] [https://baike.so.com/doc/1754843-1855643.html 来自360网]
| 图像说明 =
| 出生日期 = 1942年10月
| 出生地点 =贵州安顺
| 国籍 =中国
| 别名 =
| 职业 = 校长
| 知名作 = <br>
}}
== 主要业绩 ==
致力于计算机软件与理论的教学与科学研究，在递归论，计算复杂性理论，计算机算法与密码，计算机逻辑等方面在国内外著名学术刊物发表论文数十篇，著有专著《可计算性理论导引》一部，主编《操作系统》、《计算机科学》等著作多部，是贵州大学《计算机软件与理论》专业硕士点的学术带头人，培养硕士生数十名。中国撰有论文《可计算性理论导引》、《递归可表现拓扑空间中处处非递归可枚举集》(英文)。
== 科研论文 ==
1、基于集成的协同设计冲突消解系统研究期刊《计算机集成制造系统》 2000年4期作者:李祥，袁国华，周雄辉，阮雪榆。

2、多方安全矩阵乘积协议及应用期刊《计算机学报》 2005年7期作者:罗文俊，李祥

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

Ymxin

1,264

次編輯

求真百科

變更

李祥