陳意雲

陳意雲出生於1946年,於1980年在中國科大專科畢業,為教授與博士生導師。1994年至2000年兼任科大恆星公司總經理,2000年兼任科大恆星公司董事長。主要研究方向為形式語義、代數規範、範疇論、類型論和重寫技術等形式描述技術的套用,程式設計語言的設計與實現技術,基於語言的安全技術。

基本信息

陳意雲,男,1946年生,教授,博士生導師。1965年上山下鄉當13年農民,1980年專科畢業於中國科大,1982年12月在上海華東計算所獲碩士學位。1983年到中國科大計算機系工作,1989年去美國芝加哥大學訪問兩年。1994年-2000年兼任科大恆星公司總經理,2000年開始兼任科大恆星公司董事長。主持完成了三項國家自然科學基金項目和一項教育部博士點基金項目,正在進行的有一項國家自然科學基金項目及其它項目
主要研究方向:形式語義、代數規範、範疇論、類型論和重寫技術等形式描述技術的套用,程式設計語言的設計與實現技術,基於語言的安全技術。
編譯原理和技術(第二版),獲第二屆安徽圖書獎一等獎,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] 林洪、陳意雲,Category 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

相關詞條

相關搜尋

熱門詞條

聯絡我們