 |
 |
||
| 陈意云，男，1946年生，教授，博士生导师。1965年上山下乡当了13年农民，1978年考取中国科大，1980年专科毕业于中国科大，1982年12月在上海华东计算所获硕士学位。1983年到中国科大计算机系工作，1989年去美国芝加哥大学访问两年。1994年－2000年兼任科大恒星公司总经理,2000年开始兼任科大恒星公司董事长。主持完成了五项国家自然科学基金面上项目、一项教育部博士点基金项目以及若干其它项目。 目前正在执行的国家自然科学基金面上项目是“软件安全性的验证和编译”和“面向携带证明软件设计的语言、逻辑和证明”。 | |||
| 主要研究方向：形式语义、类型论、计算机科学中的各种逻辑、代数规范和范畴论等理论的应用，程序设计语言的理论与实现技术，软件安全等。
科研项目网站：http://ssg.ustcsz.edu.cn/
|
|||
 |
|||
| 1、编译原理课程系列教材建设，获2005年安徽省高等教育省级教学成果三等奖
2、获省级教学名师奖，2007年，安徽省
|
|||
 |
|||
|
论文： 1、陈意云，Head Boudedness of Nonterminating Rewritings, J. of Computer Science and Technology, 1995, 10(3), pp. 281-284． 2、林洪、陈意云，Category Semantics of Gamma，Advanced Software Research, 1998.2, 5(1), pp. 78-88． 3、林洪、陈意云，Category Semantics of Higher Order Gamma，Advanced Software Research, 1998.8, 5(3), pp.267-278． 4、袁春、陈意云，进程创建的语义及等价性，计算机学报，23(8)，pp.877-881，2000.8． 5、袁春、陈意云，Software
Architecture Evolution by Multiset Transformation, Proceedings of
the International Conference on Software: Theory and Practice ,
the 16th IFIP World Computer Congress, 6、袁春、陈意云，Constraint-Preserving Architecture Transformations: A Graph Rewriting
Approach, 16(6), Journal of Computer Science & Technology,
pp.590-594, 2001.11． 7、郭帆、陈意云、胡荣贵，Machine Code Type Safety, 4th International Conference on Formal Engineering Methods, Shanghai, China, LNCS 2495, pp.495-499, October 21-23. 2002． 8、郭帆、陈意云、胡荣贵，基于类型化内存地址的安全策略的设计与实现，计算机研究与发展，40(7)，pp.1001-1007，2003.7． 9、胡荣贵、陈意云、郭帆、张昱，基于类型注解的认证编译器的设计与实现，计算机研究与发展，41(1)，pp.28-33，2004.1． 10、袁春、陈意云，约束检查的最弱及增量前条件方法，计算机研究与发展，40(7)，pp.1088-2003，2003.7． 11、 12、胡荣贵、陈意云、郭帆，机器语言的类型化及代码的安全检查，计算机研究与发展，计算机研究与发展，41(6)，pp.965-971，2004.6． 13、陈晖、陈意云、茹祥民，一种用于Java程序验证编译的标签类型，软件学报，16(3)，pp. 346-354，2005.3． 14、吴萍、陈意云、张健，并发Java程序同步操作的有效删除，软件学报，16(10)， pp.1708-1716，2005.10． 15、陈晖、陈意云、吴萍、项森，一种用于Java虚拟机的类型化低级语言，计算机研究与发展，43(1)，pp.15-22，2006.1． 16、吴萍、陈意云、张健，多线程程序数据竞争的静态检测，计算机研究与发展，43(2)，pp.329-335，2006.2．
17、付雄、张昱、陈意云，Data-Layout
Optimization Using Reuse Distance Distribution. Emerging
Directions in Embedded and Ubiquitous Computing
18、项森、陈意云、林春晓、李隆，Molularly
Certified Dynamic Storage Allocation in SCAP.In Proceedings
of Sixth International Conference on Quality Software (QSIC'06), pages
321-328, IEEE CS press, Oct. 2006.
19、项森、陈意云、林春晓、 20、Yu
Guo, Xinyu Jiang, Yiyun Chen, and Chunxiao Lin. A
certified thread library for multithreaded user programs. In Proceedings
of 1st IEEE/IFIP International Symposium on Theoretical Aspects of
Software Engineering, pages 117-126, IEEE CS press, June
2007. 21.
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, and
22.
Chunxiao Lin, Andrew McCreight, Zhong
Shao, Yiyun Chen and Yu Guo. Foundational
typed assembly language with certified garbage collection. In Proceedings of 1st IEEE/IFIP International Symposium on Theoretical
Aspects of Software Engineering, pages 326-335, IEEE CS
press, June 2007.
23. Chun-xiao Lin, Yi-yun
Chen, Long Li, and Bei Hua. Garbage
collector verification for proof-carrying code. Journal
of Computer Science & Technology,
Vol. 22, No. 3, pp. 426-437, June 2007.
24.
CHEN
Yiyun, GE Lin, HUA Baojian, LI Zhaopeng, LIU Cheng, WANG Zhifang. A
pointer logic and certifying compiler. Frontiers
of Computer Science in 25.高鹰、陈意云，基于抽象解释的代码迷惑有效性比较框架，计算机学报，30(5)，pp.806-814，2007.5。
28
教材： 1、陈意云，计算机科学中的范畴论，中国科大出版社，1993． 2、陈意云，形式语义学基础，中国科大出版社，1994． 3、陈意云、张昱，编译原理，高等教育出版社（普通高等教育“十五”国家级规划教材），2003． 4、陈意云，程序设计语言理论，高等教育出版社，2004． 5、陈意云、张昱，编译原理习题精选与解析，高等教育出版社，2005． 6、陈意云、张昱，编译原理，高等教育出版社（普通高等教育“十一五”国家级规划教材），2008． |
|||