反饋

陳意雲

陳意雲（1946年11月—2022年3月5日），男，湖南湘鄉人，教授，博士生導師。1965年上山下鄉當13年農民，1980年專科畢業於中國科大，1982年12月在上海華東計算所獲碩士學位。1983年到中國科大計算機系工作，1989年去美國芝加哥大學訪問兩年。1994年－2000年兼任科大恆星公司總經理，2000年開始兼任科大恆星公司董事長。主持完成了三項國家自然科學基金項目和一項教育部博士點基金項目，正在進行的有一項國家自然科學基金項目及其它項目。

2022年3月5日上午，陳意雲因病醫治無效，在合肥市不幸辭世，享年75歲。^[1]

中文名: 陳意雲
國籍: 中國
籍貫: 湖南湘鄉

出生日期: 1946年11月
逝世日期: 2022年3月5日
畢業院校: 中國科大

陳意雲人物生平

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日上午在合肥市殯儀館舉行。^[1]

陳意雲主要貢獻

陳意雲長期從事程序設計語言相關的教學和研究工作，2007年獲安徽省教學名師榮譽稱號。他編寫的《編譯原理(第二版)》被列入2009年教育部普通高等教育精品教材書目，主講的《編譯原理和技術》課程2009年獲得安徽省級精品課程。退休後，他仍奮鬥在科研第一線，組建了高可信軟件研發團隊，將程序驗證的研究成果進行轉化，推動高可信軟件在國家安全攸關領域發揮作用。^[1]

陳意雲研究方向

形式語義、代數規範、範疇論、類型論和重寫技術等形式描述技術的應用，程序設計語言的設計與實現技術，基於語言的安全技術。

編譯原理和技術（第二版），獲第二屆安徽圖書獎一等獎,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.