愛丁堡大學資訊學院

愛丁堡大學資訊學院（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）和操作語義學理論創始人（現任教員）
- 克里斯多福·畢曉普，現微軟英國劍橋研究院院長（現任教員）
- 安德魯·澤塞曼，Google DeepMind科學家，牛津大學教授
- 艾力克斯·格雷夫斯，Google DeepMind科學家
- Peter Dayan，Q學習發明者
- 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）創始人兼主任
- Robert S. Boyer和J Strother Moore，博耶-穆爾字串搜索算法和博耶-摩爾多數投票算法設計者
- 史提芬·崔迪，ext3設計者
- 阿利斯泰爾·辛克萊爾，哥德爾獎得主，加州大學伯克利分校教授
- 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