从1,500,000教师库中查找(输入学校名称或教师姓名)
![](http://teacher.cucdc.com/teacherpic/10275/1769302.jpg)
陈意云老师介绍
陈意云??联系电话:0551-3607043(办) E-mail:yiyun@ustc.edu.cn
?陈意云,男,1946年生,教授,博士生导师。1965年上山下乡当13年农民,1980年专科毕业于中国科大,1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作,1989年去美国芝加哥大学访问两年。1994年-2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目,正在进行的有一项国家自然科学基金项目及其它项目
主要研究方向:形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用,程序设计语言的设计与实现技术,基于语言的安全技术。
编译原理和技术(第二版),获第二届安徽图书奖一等奖,1998
论文:
[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
?陈意云,男,1946年生,教授,博士生导师。1965年上山下乡当13年农民,1980年专科毕业于中国科大,1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作,1989年去美国芝加哥大学访问两年。1994年-2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目,正在进行的有一项国家自然科学基金项目及其它项目
主要研究方向:形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用,程序设计语言的设计与实现技术,基于语言的安全技术。
编译原理和技术(第二版),获第二届安徽图书奖一等奖,1998
论文:
[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
陈意云老师相关教学资源
- 中国科学技术大学教学资源
- 陈意云老师课程教学资源
- 中国科学技术大学:力学(推荐下载)
- 中国科学技术大学:C语言(ppt课件)
- 中国科学技术大学:电路原理
- 中国科学技术大学:核磁共振在生物学中的应用
- 中国科学技术大学:数值模拟新发展(英文版)
- 更多课件(包)>>
- 中国科学技术大学出版社:《简明复分析》教材PDF电子书(共六章)
- 中国科学技术大学:《并行计算 Parallel Computing》课程教学资源(PPT课件讲稿)第三篇 并行数值算法 第十章 线性方程组的求解
- 中国科学技术大学:《并行计算 Parallel Computing》课程教学资源(PPT课件讲稿)第四篇 并行程序设计 第十二章 并行程库设计基础
- 中国科学技术大学:《并行计算 Parallel Computing》课程教学资源(PPT课件讲稿)第四篇 并行程序设计 第十四章 分布存储系统并行编程
- 中国科学技术大学:《并行计算 Parallel Computing》课程教学资源(PPT课件讲稿)第二篇 并行算法的设计 第四章 并行算法的设计基础
- 更多文库>>