爱丁堡信息学院跨越半个世纪,有人曾在布莱切利公园破译二战密码

(留学SoEasy)布莱切利公园曾是二战期间的密码破译中心(又被叫做X站),在这儿,一群天才数学家组成的密码破译小组破解德国英格码和其他更复杂的代码。计算机科学之父、人工智能之父图灵就是在这里发明了绰号“炸弹”的密码破解机器ENIGMA。据说在布莱奇利公园的工作人员最初只有二百人,战争结束时已经多达七千人。当然,本文要说的并不是二战英国数学天才是如何破译希特勒密码的,而是介绍爱丁堡大学(简称爱大) 01 起源 爱丁堡的计算机科学研究可以追溯到20世纪60年代初,当时计算机部门成立,西德尼·迈克尔森被任命为其主任。1967年,他成为第一位计算机科学主席。最初,该部门没有自己的计算设备,迈克尔森教授不得不开发一种基于使用电话线到曼彻斯特Atlas计算机的服务。1966年,该部门分为由迈克尔森教授领导的计算机科学系和由Gordon'Tommy'Thomas博士领导的爱丁堡区域计算中心。

02 从计算机单元到认知科学 在计算机部门成立的同时,Donald Michie在4 Hope Park Square的一个公寓中成立了一个小型研究小组。该大学很快就认可了人工智能,并于1965年1月与Michie一起建立了实验编程部门,并于1966年10月转变为机器智能和感知部门。唐纳德·米奇是第二次世界大战期间马克斯纽曼在布莱切利公园的代码破解团队的成员。在与Alan Turing合作的过程中,他被介绍到计算领域,并开始相信构建可以思考和学习的机器的可能性。 Richard Gregory和Christopher Longuet-Higgins也在建立新部门方面发挥了重要作用,Longuet-Higgins在启动认知学院这一跨学科团队中发挥了主导作用,该学院汇集了对思想感兴趣的人。他与研究生和博士后工作者一起,在信息学,神经网络和计算机语言生成方面做出了重要的早期贡献。Longuet-Higgins,不确定他所谓的那种研究,在1973年的一篇论文中创造了“认知科学”一词。 03 AI成就 多年来爱丁堡人工智能研究人员的一些重大成就包括: 弗雷迪机器人(或FREDERICK:用于教育,讨论和娱乐的友好机器人,信息检索和知识整理),能够从一堆零件自动组装物体,现在位于钱伯斯街的国家博物馆。另一个应该提到由Robin Popplestone和Rod Burstall设计和开发的POP-2符号编程语言。70年代和80年代的其他杰出成就包括:David Warren设计和开发的爱丁堡Prolog编程语言,Alan Bundy演示的元级推理用于控制数学问题解决方案的搜索,以及Howe的成功开发基于计算机的学习环境,适用于一系列中小学科目, 1983年,Jim Howe还建立了人工智能应用研究所(AIAI),以扩大学术界,工业界和政府机构之间的应用AI工作,多年来成功地获得了许多人工智能技术的部署。 1984年,该系与语言学系和认知科学中心合力推出语音技术研究中心,到1989年,该大学在自然语言计算和认知方面的卓越研究声誉使其能够与其他一些建立人类传播研究中心。

04 罗宾米尔纳图灵奖 1991年,LFCS罗宾米尔纳的第一任主任被授予图灵奖,这是计算机协会的最高荣誉;被认为是计算机科学的最高荣誉。该引文特别提到了三项对计算机科学至关重要的不同成就: LCF是Scott的可计算函数逻辑的机械化,可能是第一个基于理论的实用工具,用于机器辅助证明构造。ML,第一种包含多态类型推断的语言以及类型安全的异常处理机制。应用于完整语言的类型推理算法是一项重大的理论进步。CCS,并发的一般理论。 05 信息学部 1997年 ,大学任命的在爱丁堡报告信息学的外部评审员在他们的论文中写道:即使是对我们周围世界的随意观察,也可以清楚地表明我们生活在信息时代。随着科学家开始理解信息现象(语言,思想,计算,推理,通信等),他们将实现更强大的技术进步。同样,计算和通信技术促进了科学理解。因此,自然科学和系统的建立相互促进。 围绕信息科学整合不同活动的案例已经制定,并于1998年成立了一个新的部门(后来改为学校),将计算机科学,人工智能,认知科学等研究人员聚集在一起。很快,车轮开始运转,将它们置于一个屋檐下。

06 搬迁整合 当信息学院成立时,它分散在六个地点:80 South Bridge,Appleton Tower,Buccleuch Place,Forrest Hill,James Clerk Maxwell Building和Darwin Building。占据学院25%左右的80南桥大楼在2002年12月的老城区大火中被摧毁,同时导致爱丁堡大学自那时以来被广泛认可为领导者,失去了一系列独特的文学作品。 20世纪60年代。许多研究人员也失去了个人档案,尽管最近的研究数据主要是通过电子方式存储的。工作人员和学生暂时搬迁到阿普尔顿大厦。 2008年6月,信息学论坛开幕,最终将学院的所有研究活动集中在一起。 2018从而标志着20 日建立情报的目前形式的学校和10周年届信息学论坛开幕的纪念日。 关于爱大的信息学院今天我们就聊到这儿,下一篇文章,我们将介绍一下爱丁堡大学信息学院的信息学硕士学科,为喜欢计算机科学的小伙伴提供一个不错的留学去向(留学SoEasy)。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20181029A0J51A00?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券