陈意云
中国科学技术大学原计算机科学与技术系副主任
陈意云(1946年11月—2022年3月5日),男,湖南湘乡人,教授,博士生导师。1965年上山下乡当13年农民,1980年专科毕业于中国科大,1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作,1989年去美国芝加哥大学访问两年。1994年-2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目,正在进行的有一项国家自然科学基金项目及其它项目。
人物生平
1978年9月-1980年8月在中国科学技术大学无线电电子学系计算机软件专业学习(专科)。
1980年9月-1982年12月在上海华东计算机研究所计算机软件专业学习,获工学硕士学位。
1983年1月回中国科学技术大学工作,在计算机科学与技术系历任讲师、系副主任、副教授、教授,期间1989年1月-1991年1月美国芝加哥大学访问学者。
1994年-2000年兼任科大恒星公司总经理。
2000年开始兼任科大恒星公司董事长。
2011年12月退休。
2022年3月5日上午,陈意云因病医治无效,在合肥市不幸辞世,享年75岁。遗体告别仪式定于3月7日上午在合肥市殡仪馆举行。
主要贡献
陈意云长期从事程序设计语言相关的教学和研究工作,2007年获安徽省教学名师荣誉称号。他编写的《编译原理(第二版)》被列入2009年教育部普通高等教育精品教材书目,主讲的《编译原理和技术》课程2009年获得安徽省级精品课程。退休后,他仍奋斗在科研第一线,组建了高可信软件研发团队,将程序验证的研究成果进行转化,推动高可信软件在国家安全攸关领域发挥作用。
研究方向
形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用,程序设计语言的设计与实现技术,基于语言的安全技术。
编译原理和技术(第二版),获第二届安徽图书奖一等奖,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] 林洪、陈意云,ategory 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
最新修订时间:2023-05-23 19:26
目录
概述
人物生平
参考资料