剑桥大学调研报告 - 北京大学互联网信息工程研发中心.PDFVIP

剑桥大学调研报告 数字媒体实验室 蔡砚刚 1101213409 1. 请综合介绍一下这个学校目前的计算机研究的情况。 剑桥大学历史悠久，培养了一大批数学物理天文的巨人，当然为计算机科学 领域，也培育了包括图灵在内的一些大师，剑桥同样孕育了世界上的第一台计算 机 EDSAC。 剑桥大学的计算机系的叫法不同于一般的学校，她叫做计算机实验室（The Computer Laboratory），成立于 1937 年，那时作为一个数学实验室，致力于研 究机械计算机和模拟计算机。 计算机实验室现在有 37 个教学人员，25 个后勤人员，40 个附属研究助理以 及 154个研究的学生。Andy Hopper 是计算机实验室现任主任。 他们的研究领域很广，包括一系列的计算机科学、工程、技术以及数学的相 关课题。现在的研究领域有生物信息学、计算机体系结构、计算机视觉、分布式 系统、图形学与人机交互、逻辑和语义、机器学习、自然语言处理、网络和无线 通信、操作系统、虚拟现实、程序设计、信息安全以及可持续计算。 计算机实验室主要有 8 个研究小组，分别是人工智能组（研究内容：智能系 统的理论和应用），计算机体系结构组（研究内容：微体系结构，超大规模集成 电路技术及其设计，电子的计算机辅助设计，安全的硬件），数字技术 （研究内 容：普适计算，计算机视觉，移动计算，通信系统），图形与交互 （研究内容： 计算机图形学，图像处理，人机交互以及情感计算）， 自然语言和信息处理 （研 究内容：计算机建模自然语言以及相关的应用），程序、逻辑和语义 （研究内容： 程序语言，编译器以及分析。自动推理工具的开发和应用，软硬件以及网络的数 学模型，有限元模型理论），信息安全 （研究内容：信息安全、密码学以及他们 的应用），系统研究 （研究内容：网络、操作系统、多媒体、移动和传感器系统 以及分布式系统）。 2. 这个学校计算机系最强的三个研究方向是什么？你是如何得出以上结论 的？ 剑桥的计算机实验室每个方向都是世界顶尖的，而且他们探索的领域都是前 瞻性的。 在 8 个主要的研究方向里，数字技术、信息安全、以及系统研究三个方向是 所有方向里最强的。 一、数字技术方向，它主要的科研成就包括 1949 年研制的 EDSAC，世界上 第一台实现内部存储程序的计算机。以及 20 世纪 70 年代-80 年代：剑桥环 (Cambridge Ring)和剑桥快速环 (Cambridge Fast Ring)，剑桥快速环后来进一 步发展为 ATM。数字技术方向有两位重量级的人物。一个是 EDSAC 项目的领导 Maurice Wilkes （1913-2010），一个是剑桥环项目的领导Andy Hopper (1953-)。 Maurice Wilkes 简介：EDSAC 的设计师，1956 年被推举为皇家学会院士， 也是英国皇家工程学会的院士，1967 年荣获第二届图灵奖，1981 年他获得了法 拉第奖章。同年，以他命名 ACM SIGARCH Maurice Wilkes Award，这个奖每年 奖给在计算机体系结构方面做出突出贡献的年轻的科学家或着工程师。1994 年 被推荐为 ACM fellow。2000 年授爵。 Andy Hopper 简介：现任计算机实验室主任，2006 年被推举为英国皇家学会 院士，2010 年成为皇家学会理事会成员，1996 年被推举为皇家工程学会院士， 2007 年成为皇家工程学会理事会成员。2007 年被授予英国二等勋章，2004 获得 ACM SIGMOBILE 杰出贡献奖。 二、信息安全方向，他们的重要研究成果包括著名的 BAN 认证逻辑 (Burrows–Abadi-Needham logic for authentication)，代表性论文“A logic of authentication”(1990)被引用 2640 次。他们的成果还有 Needham-Schroeder 安全协议、TEA 和 XTEA 加密算法、BEAR、LION 和 Tiger 密 码系统原型。其中 BAN 认证逻辑是 Needham Roger Michael Needham(1935-2003) 的成果，Ross Anderson （1956-）的成果是后面的BEAR,LION 和 Tiger 密码系统 原型。 Roge