陈意云的作品

陈意云

陈意云,1946年生,教授,博士生导师。1980年毕业于中国科学技术大学,1982年12月在上海华东计算技术研究所获硕士学位。1983年到中国科学技术大学计算机系工作,1989年到美国芝加哥大学访问两年。长期从事程序设计语言理论和实现技术、程序验证、软件安全等方面的研究工作,主持了7项与这些方向有关的国家自然科学基金项目。长期从事“编译原理”和“程序设计语言理论”等课程的教学工作,2007年获安徽省教学名师奖。本书两位作者在编译原理课程系列教材建设方面的工作获2005年安徽省高等教育省级教学成果三等奖。 张昱,1972年生,副教授。1996年毕业于合肥工业大学,获硕士学位;2004年12月毕业于中国科学技术大学,获博士学位。主要从事“数据结构”、“缡译原理”、“程序设计语言理论”等课程的教学工作。主要研究方向是:程序设计语言理论和实现技术,特别是面向新型系统结构的并行语言设计和编译、并行程序分析和验证,即时编译器辅助的垃圾收集技术。

陈意云

陈意云,1946年生,教授,博士生导师。1980年毕业于中国科学技术大学,1982年12月在上海华东计算技术研究所获硕士学位。1983年到中国科学技术大学计算机系工作,1989年到美国芝加哥大学访问两年。长期从事程序设计语言理论和实现技术、程序验证、软件安全等方面的研究工作,主持了7项与这些方向有关的国家自然科学基金项目。长期从事“编译原理”和“程序设计语言理论”等课程的教学工作,2007年获安徽省教学名师奖。本书两位作者在编译原理课程系列教材建设方面的工作获2005年安徽省高等教育省级教学成果三等奖。 张昱,1972年生,副教授。1996年毕业于合肥工业大学,获硕士学位;2004年12月毕业于中国科学技术大学,获博士学位。主要从事“数据结构”、“缡译原理”、“程序设计语言理论”等课程的教学工作。主要研究方向是:程序设计语言理论和实现技术,特别是面向新型系统结构的并行语言设计和编译、并行程序分析和验证,即时编译器辅助的垃圾收集技术。

围绕这位作者继续看
常见主题