陈意云
生于：
1946年11月01日
逝于：
2022年03月05日
性别：
男
籍贯：
湖南省 湘乡
已离开：
2
年
306
天
3周年忌日：
剩余
59天
生平简介
陈意云
陈意云（1946年11月—2022年3月5日），男，湖南湘乡人，教授，博士生导师。1965年上山下乡当13年农民，1980年专科毕业于中国科大，1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作，1989年去美国芝加哥大学访问两年。1994年－2000年兼任科大恒星公司总经理，2000年开始兼任科大恒星公司董事长。主持完成了三项国家自然科学基金项目和一项教育部博士点基金项目，正在进行的有一项国家自然科学基金项目及其它项目。
2022年3月5日上午，陈意云因病医治无效，在合肥市不幸辞世，享年75岁。
主要贡献
陈意云长期从事程序设计语言相关的教学和研究工作，2007年获安徽省教学名师荣誉称号。他编写的《编译原理(第二版)》被列入2009年教育部普通高等教育精品教材书目，主讲的《编译原理和技术》课程2009年获得安徽省级精品课程。退休后，他仍奋斗在科研第一线，组建了高可信软件研发团队，将程序验证的研究成果进行转化，推动高可信软件在国家安全攸关领域发挥作用。
研究方向
形式语义、代数规范、范畴论、类型论和重写技术等形式描述技术的应用，程序设计语言的设计与实现技术，基于语言的安全技术。
编译原理和技术（第二版），获第二届安徽图书奖一等奖,1998