爱丁堡大学信息学院

**愛丁堡大學信息學院**（University of Edinburgh, School of Informatics）是愛丁堡大學理工學院下屬學院之一，合併了之前的計算機科學系，人工智慧系和認知科學系。

## 歷史

愛丁堡大學信息學院建立於 1998 年，是愛丁堡大學理工學院（College of Science and Engineering）下屬學院之一。為了拉進計算機科學和認知科學的距離，學校的計算機科學系（Department of Computer Science），人工智慧系（Department of Artificial Intelligence）和認知科學系（Department of Cognitive Science）被整合為一個學科，統稱信息學（Informatics）。愛丁堡大學將信息學定義為研究人工和自然計算系統中資訊的表達，處理和通訊的基礎學科，希望能對人工計算系統和生物有機體系統中的計算現象做出最基本的解釋。自然科學試圖解釋的最根本疑問是：什麼是物質？什麼是生命？什麼是思維？物理和生物科學試圖探索前兩個問題，而信息學試圖探索後兩個問題，希望能夠為我們了解有認知能力的生物體中的各種認知過程提供理論基礎，從而最終複製和重建此類系統。

愛丁堡大學信息學院在人工智慧，理論計算機科學，計算語言學方面世界領先，在生物信息學領域也走在了世界的前沿。信息學院是全世界最早開展人工智慧研究和教學的學術機構，建立了世界上第一個人工智慧系。今天信息學院共有 370 位研究員，75 位教師，大約 697 位研究生。側重理論是信息學院本科教育區別於其它大學計算機系的標誌之一。信息學院大樓的貝葉斯中心（Bayes Centre）里還坐落著愛丁堡並行計算中心（Edinburgh Parallel Computing Centre，簡稱 EPCC），擁有 ARCHER 和 IBM 藍色基因 Q 兩台超級計算機，從 1990 年至今被指定為英國國家超級計算中心。ARCHER2 截至 2021 年 11 月 TOP500 排名位列世界第 22 名。

信息學院是英國唯一獲得英國高等教育委員會研究評估 5\*A 級的計算機系。七年評估一次的 REF2022 中，愛丁堡大學信息學院取得了科研實力英國第一。權威計算機學校排名網站 csrankings.org 顯示其計算機 2021 年位列英國第一，自然語言處理領域（NLP）世界第一。

## 知名人物

### 概述

計算機科學中，愛丁堡大學共出現過三位圖靈獎得主。他們分別是羅賓・米爾納（1991）、萊斯利・瓦利安特（2010）、和傑弗里・辛頓（2018）。米爾納於上世紀 90 年代至 2010 年長期任教於此，並在此期間開發了最早的自動定理證明工具 LCF，π- 演算系統，Hindley–Milner 類型推論等多種對計算機科學有著重大貢獻的突破性研究；瓦利安特於愛丁堡接受博士後訓練後前往哈佛大學為計算複雜性理論做出了貢獻；辛頓則 1978 年於此完成博士學位，後發明了革命性的反向傳播算法和玻爾茲曼機，被譽為「深度學習之父」。

愛丁堡大學對計算機程式語言有著相當貢獻。ML，Standard ML（羅賓・米爾納)、Prolog（羅伯特・科瓦爾斯基)、Haskell（菲利普・瓦德勒)、Erlang（喬・阿姆斯特朗)、Modula-3（Luca Cardelli)、POP-2（Robin Popplestone 和 Rod Burstall)、NPL, Hope（John Darlington 和 Rod Burstall) 等語言皆為校友或教授的成果。此外，部件工具箱 WxWidgets 也為愛丁堡大學開發。

知名畢業生包括 Lars Rasmussen，谷歌地圖創始人；Chris Montgomery，Xiph.Org 創始人（開發了.ogg、Vorbis、FLAC 等格式）；Ian Clarke，自由網創始人；以及曾和拉吉・瑞迪、李開復共同研究語音識別的現任微軟全球人工智慧首席技術官黃學東。華人校友包括「中國計算機之母」，籌建了中國的計算機研究機構並在 20 世紀 50 年代設計試製成功中國第一台自行設計的通用電子數字計算機的夏培肅；中國科學院軟件研究所所長李明樹；中國科學院院士，北京航空航天大學校長李未；和中國科學院院士，中科院計算機科學國家重點實驗室主任林惠民。樊文飛，著名資料庫專家和中科院外籍院士，乃資訊學院現任教員。

### 其他知名人物

* Gordon Plotkin，歸納邏輯編程（Inductive Logic Programming）和操作語義學理論創始人（現任教員）
* 克里斯多福・畢曉普，現微軟英國劍橋研究院院長（現任教員）
* 安德魯・澤塞曼，DeepMind 科學家，牛津大學教授
* Alan W. Black，卡內基梅隆大學語言技術研究所教授
* Justine Cassell，卡內基梅隆大學人機互動學院教授
* Luca Cardelli，前微軟英國劍橋研究院院長，牛津大學教授
* Andrew Blake，前微軟英國劍橋研究院院長，阿蘭・圖靈研究所所長，劍橋大學教授
* Sir Nigel Richard，牛津大學教授，牛津大學耶穌學院院長，Open Data Institute 創始人
* John C. Reynolds，系統 F 的發明者，卡內基梅隆大學教授
* Robert Harper，卡內基梅隆大學教授
* Samson Abramsky，牛津大學教授
* Michael J. C. Gordon，劍橋大學教授
* Carla Gomes，康奈爾大學計算可持續性研究所（Institute for Computational Sustainability）創始人兼主任
* 阿利斯泰爾・辛克萊爾，哥德爾獎得主，加州大學伯克利分校教授
* Ian Clarke，自由網作者

## 研究

資訊學院的部分研究所，研究中心包括：

（神經計算和自適應計算研究所）Institute for Adaptive and Neural Computation （頁面存檔備份，存於網際網路檔案館） 
（智能系統及智能系統應用研究中心）Centre for Intelligent Systems and their Applications （頁面存檔備份，存於網際網路檔案館），其中包括了（人工智慧應用所）Artificial Intelligence Applications Institute （頁面存檔備份，存於網際網路檔案館） 
（交際與協作系統研究所）Institute for Communicating and Collaborative Systems 
（計算機體系結構研究所）Institute for Computing Systems Architecture （頁面存檔備份，存於網際網路檔案館） 
（認知，動作和行為研究所）Institute of Perception, Action and Behaviour （頁面存檔備份，存於網際網路檔案館） 
（理論計算機科學實驗室）Laboratory for Foundations of Computer Science （頁面存檔備份，存於網際網路檔案館） 
（語音技術研究中心）The Centre for Speech Technology Research （頁面存檔備份，存於網際網路檔案館） 
（人與人資訊交換研究中心）Human Communication Research Centre （頁面存檔備份，存於網際網路檔案館） 
（神經科學研究中心）Centre for Neuroscience Research （頁面存檔備份，存於網際網路檔案館） 

## 外部連結

資訊學院的研究資訊：http://www.inf.ed.ac.uk/research/ （頁面存檔備份，存於網際網路檔案館） 
關於資訊學院的 informatics: http://www.inf.ed.ac.uk/about/vision.html （頁面存檔備份，存於網際網路檔案館） 
愛丁堡人工智慧簡史： http://www.inf.ed.ac.uk/about/AIhistory.html （頁面存檔備份，存於網際網路檔案館） 

## 參考資料