| 姓 名 | 陈意云 | 性 别 | 男 | 出生年月 | 1946-01 |
|---|---|---|---|---|---|
| 所在院校 | 中国科学技术大学 | 所在院系 | 计算机科学技术系 | ||
| 职称 | 教授 | 招生专业 | |||
| 研究领域 | 形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用，程序设计语言的设计与实现技术，基于语言的安全技术。 |
| 联系方式 | yiyun@ustc.edu.cn | 电 话 | 0551******* | 邮 编 | 230027 | |
|---|---|---|---|---|---|---|
| 地 址 | 安徽省合肥市中国科学技术大学计算机科学技术系 |
| 个人简介 |
| 男，1946年生，教授，博士生导师。1965年上山下乡当13年农民，1980年专科毕业于中国科大，1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作，1989年去美国芝加哥大学访问两年。1994年－2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。 男，1946年生，教授，博士生导师。1965年上山下乡当13年农民，1980年专科毕业于中国科大，1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作，1989年去美国芝加哥大学访问两年。1994年－2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。 |
| 获得奖项 |
| 编译原理和技术（第二版），获第二届安徽图书奖一等奖,19 编译原理和技术（第二版），获第二届安徽图书奖一等奖,19 |
| 著作及论文 |
| 论文： [1] 陈意云，Nonterminating Rewritings with Head Boudedness, J. of Computer Science and Technology, 1993, 8(2), pp. 162-171. [2] 陈意云，Head Boudedness of Nonterminating Rewritings, J. of Computer Science and Technology, 1995, 10(3), pp. 281-284. [3] 林洪、陈意云，Category Semantics of Gamma，Advanced Software Research, 1998.2, 5(1), pp. 78-88. [4] 林洪、陈意云，Category Semantics of Higher Order Gamma，Advanced Software Research, 1998.8, 5(3), pp.267-278. [5] 袁春、陈意云，进程创建的语义及等价性，计算机学报，2000.8, 23(8), pp.877-881. [6] 袁春、陈意云，Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach, Journal of Computer Science & Technology, 2001, 16(6), pp.590-594. [7] 郭帆、陈意云、胡荣贵, Machine Code Type Safety, 4th International Conference on Formal Engineering Methods, Shanghai, China, October 21-23. 2002, LNCS 2495, pp. 495-500. [8] 章隆兵、陈意云、章锋、陈国良，基于分布式共享存储系统的并行文件子系统DPFS，计算机研究与发展，2002, 39(3), pp.360-366. 专著和教材： 1．陈意云，计算机科学中的范畴论，中国科大出版社，1993 2．陈意云，形式语义学基础，中国科大出版社，1994 3．陈意云，编译原理和技术（第二版），中国科大出版社，1997 4．陈意云、张昱，编译原理习题精选，中国科大出版社，2002 论文： [1] 陈意云，Nonterminating Rewritings with Head Boudedness, J. of Computer Science and Technology, 1993, 8(2), pp. 162-171. [2] 陈意云，Head Boudedness of Nonterminating Rewritings, J. of Computer Science and Technology, 1995, 10(3), pp. 281-284. [3] 林洪、陈意云，Category Semantics of Gamma，Advanced Software Research, 1998.2, 5(1), pp. 78-88. [4] 林洪、陈意云，Category Semantics of Higher Order Gamma，Advanced Software Research, 1998.8, 5(3), pp.267-278. [5] 袁春、陈意云，进程创建的语义及等价性，计算机学报，2000.8, 23(8), pp.877-881. [6] 袁春、陈意云，Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach, Journal of Computer Science & Technology, 2001, 16(6), pp.590-594. [7] 郭帆、陈意云、胡荣贵, Machine Code Type Safety, 4th International Conference on Formal Engineering Methods, Shanghai, China, October 21-23. 2002, LNCS 2495, pp. 495-500. [8] 章隆兵、陈意云、章锋、陈国良，基于分布式共享存储系统的并行文件子系统DPFS，计算机研究与发展，2002, 39(3), pp.360-366. 专著和教材： 1．陈意云，计算机科学中的范畴论，中国科大出版社，1993 2．陈意云，形式语义学基础，中国科大出版社，1994 3．陈意云，编译原理和技术（第二版），中国科大出版社，1997 4．陈意云、张昱，编译原理习题精选，中国科大出版社，2002 |
| 承担项目 |
| 主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目，正在进行的有一项国家自然科学基金项目及其它项目主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目，正在进行的有一项国家自然科学基金项目及其它项目 |