陈意云

陈意云（1946年-2022年3月5日），于1980年在中国科大专科毕业，为教授与博士生导师。1994年至2000年兼任苏州科大恒星信息技术有限公司公司总经理，2000年兼任科大恒星公司董事长。主要研究方向为形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用，程序设计语言的设计与实现技术，基于语言的安全技术。

2022年3月5日上午，中国科学技术大学原计算机科学与技术系副主任陈意云教授，因病医治无效，在合肥市不幸辞世，享年75岁。

人物介绍

陈意云，男，1946年生，教授，博士生导师。1965年上山下乡当13年农民，1980年专科毕业于中国科大，1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作，1989年去芝加哥大学访问两年。1994年－2000年兼任苏州科大恒星信息技术有限公司公司总经理,2000年开始兼任科大恒星公司董事长。主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目。

个人生活

人物逝世

2022年3月5日上午，中国科学技术大学原计算机科学与技术系副主任陈意云教授，因病医治无效，在合肥市不幸辞世，享年75岁。

主要研究方向

形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用，程序设计语言的设计与实现技术，基于语言的安全技术。

编译原理和技术（第二版），获第二届安徽图书奖一等奖,1998

人物论文

陈意云，Nonterminating Rewritings with Head Boudedness, J. of Computer Science and Technology, 1993, 8(2), pp. 162-171.

陈意云，Head Boudedness of Nonterminating Rewritings, J. of Computer Science and Technology, 1995, 10(3), pp 281-284.

林洪、陈意云，Category 语义学 of Gamma，Advanced Software Research, 1998.2, 5(1), pp. 78-88.

林洪、陈意云，Category Semantics of Higher Order Gamma，Advanced Software Research, 1998.8, 5(3), pp.267-278.

袁春、陈意云，进程创建的语义及等价性，计算机学报，2000.8, 23(8), pp.877-881.

袁春、陈意云，Constraint-Preserving 建筑 Transformations: A Graph Rewriting Approach, Journal of Computer Science \u0026amp; Technology, 2001, 16(6), pp.590-594.

郭帆、陈意云、胡荣贵, Machine Code Type Safety, 4th International Conference on Formal Engineering Methods, Shanghai, China, October 21-23. 2002, LNCS 2495, pp. 495-500.

章隆兵、陈意云、章锋、陈国良，基于分布式共享存储系统的并行文件子系统DPFS，计算机研究与发展，2002, 39(3), pp.360-366.

专著和教材

1．陈意云，计算机科学中的范畴论，中国科大出版社，1993

2．陈意云，形式语义学基础，中国科大出版社，1994

3．陈意云，编译原理和技术（第二版），中国科大出版社，1997

4．陈意云、张昱，编译原理习题精选，中国科大出版社，2002

参考资料

中科大教授陈意云逝世，享年75岁.今日头条-澎湃新闻.2022-03-09