据中国科大校友会官方微信公众号3月5日发布的讣告:中国科学技术大学原计算机科学与技术系副主任陈意云教授,因病医治无效,于3月5日上午在合肥市不幸辞世,享年75岁。遗体告别仪式定于3月7日上午在合肥市殡仪馆举行。
陈意云1946年11月生,湖南湘乡人。1978年9月-1980年8月在中国科学技术大学无线电电子学系计算机软件专业学习(专科),1980年9月-1982年12月在上海华东计算机研究所计算机软件专业学习,获工学硕士学位。1983年1月回中国科学技术大学工作,在计算机科学与技术系历任讲师、系副主任、副教授、教授,期间1989年1月-1991年1月美国芝加哥大学访问学者。1994年-2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。于2011年12月退休。
陈意云长期从事程序设计语言相关的教学和研究工作,2007年获安徽省教学名师荣誉称号。他编写的《编译原理(第二版)》被列入2009年教育部普通高等教育精品教材书目,主讲的《编译原理和技术》课程2009年获得安徽省级精品课程。退休后,他仍奋斗在科研第一线,组建了高可信软件研发团队,将程序验证的研究成果进行转化,推动高可信软件在国家安全攸关领域发挥作用。
讣告写道:“陈意云同志一生淡泊名利,德高望重。他诲人不倦,严于律己,宽以待人,胸怀坦荡,朴重忘我,为学校教育事业的发展贡献了毕生精力,是一位值得我们深深尊重和爱戴的教育老前辈。他富有爱心和责任心,品德高尚,为人低调,用一生的言行给家人和后辈以教育和启迪,晚年时期,仍非常关心学校的建设和发展。然却突发疾病,陡然离世,令人惋惜和悲痛……斯人已逝,精神永存。”