The School of Informatics is an academic unit of the
University of Edinburgh
The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...
, in
Scotland
Scotland (, ) is a Countries of the United Kingdom, country that is part of the United Kingdom. Covering the northern third of the island of Great Britain, mainland Scotland has a Anglo-Scottish border, border with England to the southeast ...
, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former Department of Artificial Intelligence, the Centre for Cognitive Science and the Department of Computer Science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.
Research in the School of Informatics draws on multiple disciplines. The school is particularly known for research in the areas of
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...
mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
and
theoretical computer science
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumscribe the ...
; but also contributes to many other areas of informatics.
The School of Informatics was ranked 12th in the world by the
QS World University Rankings
''QS World University Rankings'' is an annual publication of university rankings by Quacquarelli Symonds (QS). The QS system comprises three parts: the global overall ranking, the subject rankings (which name the world's top universities for the ...
2014. As of 2022, the school is ranked 1st in the UK according to ''CSRankings'', 1st in the UK in the latest 2021
Research Excellence Framework
The Research Excellence Framework (REF) is a research impact evaluation of British higher education institutions. It is the successor to the Research Assessment Exercise and it was first used in 2014 to assess the period 2008–2013. REF is under ...
The School of Informatics was awarded a 5*A in the UK HEFCE's 2001 RAE, the only computer science department in the country to achieve this highest possible rating. In the 2008 RAE, the School's "Quality Profile" was 35/50/15/0/0, which means that of the over 100
Full-time equivalent
Full-time equivalent (FTE), or whole time equivalent (WTE), is a unit that indicates the workload of an employed person (or student) in a way that makes workloads or class loads comparable across various contexts. FTE is often used to measure a ...
(FTE) staff research outputs evaluated, 35% were found "world-leading (4*)" and 50% "internationally excellent (3*)". These figures can be interpreted in a number of ways, but place the School first by volume and tied for second (following Cambridge with 45/45/10/0/0) by percentage of research rated 3* or 4*. The School is generally considered world-leading, standing with the foremost U.S. institutes, particularly in areas such as artificial intelligence, natural language processing and machine translation, and theoretical computer science.
The School has a number of research Institutes:
Institute for Adaptive and Neural Computation: ANC
ANC investigates theoretical and empirical study of brain processes and artificial learning systems, drawing on neuroscience, cognitive science, computer science, computational science, mathematics and statistics.
Artificial Intelligence and its Applications Institute: AIAI
Previously known as CISA (Centre for Intelligent Systems and their Applications), the Artificial Intelligence and its Applications Institute (AIAI) works on the foundations of artificial intelligence and autonomous systems, and their application to real-world problems.
Institute for Language, Cognition, and Computation: ILCC
ILCC performs research on all aspects of natural language processing, drawing on machine learning, statistical modeling, and computational, psychological, and linguistic theories of communication among humans and between humans and machines using text, speech and other modalities.
Institute for Computing Systems Architecture: ICSA
ICSA performs research on architecture and engineering of future computing systems: performance and scalability; innovative algorithms, architectures, compilers, languages and protocols.
Institute of Perception, Action and Behaviour: IPAB
IPAB links computational action, perception, representation, transformation and generation processes to real or virtual worlds: statistical machine learning, computer vision, mobile and humanoid robotics, motor control, graphics and visualization.
Laboratory for Foundations of Computer Science: LFCS
The LFCS Develops and applies foundational understanding of computation and communication: formal models, mathematical theories, and software tools.
Senior academic staff and alumni
Current
Senior academic staff include:
*
Malcolm Atkinson
Malcolm Phillip Atkinson (born 13 October 1943, Cornwall, UK) is a Professor of e-Science, in the University of Edinburgh School of Informatics. He is known for his work in the areas of object-oriented databases, database systems, software eng ...
*
Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning ...
Christopher Bishop
Christopher Michael Bishop (born 7 April 1959) is the Laboratory Director at Microsoft Research Cambridge, Honorary Professor of Computer Science at the University of Edinburgh and a Fellow of Darwin College, Cambridge. Bishop is a member of ...
Jane Hillston
Jane Elizabeth Hillston (born 1963) is British professor of Quantitative research, Quantitative Scientific modelling, Modelling and Head of School in the University of Edinburgh School of Informatics, School of Informatics, University of Edinbur ...
Gordon Plotkin
Gordon David Plotkin, (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and h ...
*
Don Sannella
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.
Sannella graduated from Yale University, University of California, ...
*
Mark Steedman
Mark Jerome Steedman, (born 18 September 1946) is a computational linguist and cognitive scientist.
Biography
Steedman graduated from the University of Sussex in 1968, with a B.Sc. in Experimental Psychology, and from the University of Edinbur ...
Amos Storkey
Amos James Storkey is Professor of Machine Learning and Artificial Intelligence at the School of Informatics, University of Edinburgh.
Storkey studied mathematics at Trinity College, Cambridge and obtained his doctorate from Imperial College, L ...
Sethu Vijayakumar
Sethu Vijayakumar FRSE (born 1970) is Professor of Robotics at the University of Edinburgh and a judge on the BBC2 show '' Robot Wars''. He is the Programme co-Director for Artificial Intelligence at The Alan Turing Institute, the UK's National ...
*
Philip Wadler
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer ...
Bonnie Webber
Bonnie Lynn Nash-Webber (born August 30, 1946) is a computational linguist. She is an honorary professor of intelligent systems in the Institute for Language, Cognition and Computation (ILCC) at the University of Edinburgh.
Education and car ...
Former
*
Donald Michie
Donald Michie (; 11 November 1923 – 7 July 2007) was a British researcher in artificial intelligence. During World War II, Michie worked for the Government Code and Cypher School at Bletchley Park, contributing to the effort to solve " Tunny ...
, founder of
Artificial Intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...
Alumni of the school of informatics include:
* Samson Abramsky , computer scientist at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
Freddy II
Freddy (1969–1971) and Freddy II (1973–1976) were experimental robots built in the Department of Machine Intelligence and Perception (later Department of Artificial Intelligence, now part of the School of Informatics at the University of Ed ...
University of Texas at Austin
The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,07 ...
Language Technologies Institute
The Language Technologies Institute (LTI) is a research institute at Carnegie Mellon University in Pittsburgh, Pennsylvania, United States, and focuses on the area of language technologies. The institute is home to 33 faculty with the primary scho ...
Justine Cassell
Justine M. Cassell (born March 19, 1960) is an American professor and researcher interested in human-human conversation, human-computer interaction, and storytelling. Since August 2010 she has been on the faculty of the Carnegie Mellon Human Compu ...
Luca Cardelli
Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. A ...
Freenet
Freenet is a peer-to-peer platform for censorship-resistant, anonymous communication. It uses a decentralized distributed data store to keep and deliver information, and has a suite of free software for publishing and communicating on the Web ...
Imperial College London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...
VMware
VMware, Inc. is an American cloud computing and virtualization technology company with headquarters in Palo Alto, California. VMware was the first commercially successful company to virtualize the x86 architecture.
VMware's desktop software ru ...
University of California, Irvine
The University of California, Irvine (UCI or UC Irvine) is a public land-grant research university in Irvine, California. One of the ten campuses of the University of California system, UCI offers 87 undergraduate degrees and 129 graduate and p ...
* Carla Gomes , computer scientist, Founding Director of the
Cornell University
Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to tea ...
Institute for Computational Sustainability
The Institute for Computational Sustainability (ICS), founded in 2008 with support from an Expeditions in Computing grantLeslie Ann Goldberg , computer scientist at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
University of Cambridge
The University of Cambridge is a public collegiate research university in Cambridge, England. Founded in 1209 and granted a royal charter by Henry III in 1231, Cambridge is the world's third oldest surviving university and one of its most pr ...
Theoretical Computer Science
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumscribe the ...
at
Imperial College London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...
*
Richard Gregory
Richard Langton Gregory (24 July 1923 – 17 May 2010) was a British psychologist and Professor of Neuropsychology at the University of Bristol.
Life and career
Richard Gregory was born in London. He was the son of Christopher Clive Langt ...
(1923–2010), cognitive scientist at the
University of Bristol
, mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'')
, established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter
, type ...
*
Pat Hayes
Patrick John Hayes AAAI Fellow, FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States. , he is a Senior Research Scientist at the IHMC, Institute for Human and Machine Cognition in Pensacola, Flori ...
Robert Harper (computer scientist)
Robert William "Bob" Harper, Jr. (born ) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh ...
Hennessy–Milner logic In computer science, Hennessy–Milner logic (HML) is a dynamic logic used to specify properties of a labeled transition system (LTS), a structure similar to an automaton. It was introduced in 1980 by Matthew Hennessy and Robin Milner in their pap ...
*
Geoffrey Hinton
Geoffrey Everest Hinton One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 6 December 1947) is a British-Canadian cognitive psychologist and computer scientist, most noted for his work on a ...
, computer scientist at
Google Brain
Google Brain is a deep learning artificial intelligence research team under the umbrella of Google AI, a research division at Google dedicated to artificial intelligence. Formed in 2011, Google Brain combines open-ended machine learning research ...
and winner of the
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in comput ...
.
*
Xuedong Huang
Xuedong D. Huang (born October 20, 1962) is a Chinese American computer scientist and technology executive who has made contributions to spoken language processing and AI Cognitive Services. He is Microsoft's Technical Fellow and Chief Technology ...
Microsoft
Microsoft Corporation is an American multinational technology corporation producing computer software, consumer electronics, personal computers, and related services headquartered at the Microsoft Redmond campus located in Redmond, Washin ...
Mark H. Johnson
Mark Henry Johnson (born 1960) . . is a British cognitive neuroscientist who, since October 2017, has been Professor of Experimental Psychology and Head of the Department of Psychology at the University of Cambridge. He is a Fellow of the Assoc ...
, cognitive neuroscientist and
Brain–computer interface
A brain–computer interface (BCI), sometimes called a brain–machine interface (BMI) or smartbrain, is a direct communication pathway between the brain's electrical activity and an external device, most commonly a computer or robotic limb. B ...
researcher, Head of the Department of Psychology at the
University of Cambridge
The University of Cambridge is a public collegiate research university in Cambridge, England. Founded in 1209 and granted a royal charter by Henry III in 1231, Cambridge is the world's third oldest surviving university and one of its most pr ...
University of London
The University of London (UoL; abbreviated as Lond or more rarely Londin in post-nominals) is a federal public research university located in London, England, United Kingdom. The university was established by royal charter in 1836 as a degree ...
,
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interes ...
Machine Translation
Machine translation, sometimes referred to by the abbreviation MT (not to be confused with computer-aided translation, machine-aided human translation or interactive translation), is a sub-field of computational linguistics that investigates t ...
at
Johns Hopkins University
Johns Hopkins University (Johns Hopkins, Hopkins, or JHU) is a private research university in Baltimore, Maryland. Founded in 1876, Johns Hopkins is the oldest research university in the United States and in the western hemisphere. It consi ...
*
Robert Kowalski
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent mo ...
, logician whose interpretation of the
Horn clause In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the log ...
at Edinburgh became instrumental in the creation of
Prolog
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...
* Lǐ Wèi, mathematician and computer scientist, President of
Beihang University
Beihang University, previously known as Beijing University of Aeronautics and Astronautics (), abbreviated as BUAA or Beihang ( zh, c=北航, p=), is a national public research university located in Beijing, China, specializing in engineering, t ...
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
(1934–2010), computer scientist, winner of the
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in comput ...
Monad
Monad may refer to:
Philosophy
* Monad (philosophy), a term meaning "unit"
**Monism, the concept of "one essence" in the metaphysical and theological theory
** Monad (Gnosticism), the most primal aspect of God in Gnosticism
* ''Great Monad'', a ...
of category theory to functional programming
*
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–M ...
, computer scientist at the
University of Texas at Austin
The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,07 ...
* Stephen Muggleton , Head of the Computational Bioinformatics Laboratory at
Imperial College London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...
*
Alan Mycroft
Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.
Education
Mycroft read mathematics at Cambridge then moved ...
, Professor at the
Computer Laboratory, University of Cambridge
The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. it employed 35 academic staff, 25 support staff, 35 affiliated research staff, and about 15 ...
*
Timothy O'Shea
Sir Timothy Michael Martin O'Shea (born 28 March 1949, Hamburg, Germany) is a British computer scientist and academic. He was the Vice-Chancellor and Principal of the University of Edinburgh from 2002 to 2018.
Biography
O'Shea grew up in L ...
, Emeritus Professor and former principal and vice-chancellor of the University of Edinburgh
* Robin Popplestone (1938–2004), creator of COWSEL and POP-2
* Martha Palmer , creator of
PropBank
PropBank is a corpus that is annotated with verbal propositions and their arguments—a "proposition bank". Although "PropBank" refers to a specific corpus produced by Martha Palmer ''et al.'', the term ''propbank'' is also coming to be used a ...
and
VerbNet
The VerbNet project maps PropBank verb types to their corresponding Levin classes. It is a lexical resource that incorporates both semantic and syntactic information about its contents.
VerbNet is part of thSemLinkproject in development at the Un ...
* Benjamin C. Pierce, Henry Salvatori Professor of computer science at the
University of Pennsylvania
The University of Pennsylvania (also known as Penn or UPenn) is a private research university in Philadelphia. It is the fourth-oldest institution of higher education in the United States and is ranked among the highest-regarded universitie ...
*
Lars Rasmussen (Software Developer)
Lars Eilstrup Rasmussen is a Danish computer scientist, technology executive, and the co-founder of Google Maps.He was the director of engineering for Facebook in London.Hutcheon, StephenWhy I quit Google to join Facebook: Lars Rasmussen ''The ...
, Co-Founder of
Google Maps
Google Maps is a web mapping platform and consumer application offered by Google. It offers satellite imagery, aerial photography, street maps, 360° interactive panoramic views of streets ( Street View), real-time traffic conditions, and rou ...
, Former Director of Engineering (CTO) of
Facebook
Facebook is an online social media and social networking service owned by American company Meta Platforms. Founded in 2004 by Mark Zuckerberg with fellow Harvard College students and roommates Eduardo Saverin, Andrew McCollum, Dustin Mosk ...
System F
System F (also polymorphic lambda calculus or second-order lambda calculus) is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. System F formalizes parametric polymorph ...
University of Bologna
The University of Bologna ( it, Alma Mater Studiorum – Università di Bologna, UNIBO) is a public research university in Bologna, Italy. Founded in 1088 by an organised guild of students (''studiorum''), it is the oldest university in continu ...
*
Nigel Shadbolt
Sir Nigel Richard Shadbolt (born 9 April 1956) is Principal of Jesus College, Oxford, and Professorial Research Fellow in the Department of Computer Science, University of Oxford. He is Chairman of the Open Data Institute which he co-founded ...
, Chairman of the
Open Data Institute
The Open Data Institute (ODI) is a non-profit private company limited by guarantee, based in the United Kingdom. Founded by Sir Tim Berners-Lee and Sir Nigel Shadbolt in 2012, the ODI’s mission is to connect, equip and inspire people around th ...
(ODI) and master of
Jesus College, Oxford
Jesus College (in full: Jesus College in the University of Oxford of Queen Elizabeth's Foundation) is one of the constituent colleges of the University of Oxford in England. It is in the centre of the city, on a site between Turl Street, Ship S ...
University of California, Berkeley
The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...
,
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interes ...
Laureate
*
Aaron Sloman
Aaron Sloman is a philosopher and researcher on artificial intelligence and cognitive science. He held the Chair in Artificial Intelligence and Cognitive Science at the School of Computer Science at the University of Birmingham, and before that ...
, philosopher, cognitive scientist at the
University of Birmingham
The University of Birmingham (informally Birmingham University) is a Public university, public research university located in Edgbaston, Birmingham, United Kingdom. It received its royal charter in 1900 as a successor to Queen's College, Birmingha ...
Mads Tofte
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
Education
Tofte was born in Lyngby, Denmark and grew up in Holbæk, Denmark. ...
, professor at the
IT University of Copenhagen
, latin_name =
, image = Logo IT University of Copenhagen.jpg
, motto = Dedicated to the digital world
, established = 1999
, type = Public
, endowment ...
*
Leslie Valiant
Leslie Gabriel Valiant (born 28 March 1949) is a British American computer scientist and computational theorist. He was born to a chemical engineer father and a translator mother. He is currently the T. Jefferson Coolidge Professor of Compu ...
, winner of the
Turing Award
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in comput ...
in 2010 and Professor at
Harvard University
Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of high ...
Toby Walsh
Toby Walsh is a Laureate fellow, and professor of artificial intelligence in the UNSW School of Computer Science and Engineering at the University of New South Wales and Data61 (formerly NICTA). He has served as Scientific Director of NICT ...
, Professor of
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...
Hanna Wallach
Hanna Wallach (born 1979) is a computational social scientist and partner research manager at Microsoft Research. Her work makes use of machine learning models to study the dynamics of social processes. Her current research focuses on issues of ...
Andrew Zisserman
Andrew Zisserman (born 1957) is a British computer scientist and a professor at the University of Oxford, and a researcher in computer vision. As of 2014 he is affiliated with DeepMind.
Education
Zisserman received the Part III of the Mathema ...
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
Accommodation
The 2002 Cowgate fire destroyed a number of buildings, including 80 South Bridge, which housed around a quarter of the school and its renowned AI library. By January 2003, space was made available in the University's Appleton Tower as a replacement.
Until June 2008, the School was dispersed over five sites: three in the George Square Campus: Appleton Tower, Buccleuch Place, Forrest Hill; and two at
King's Buildings
The King's Buildings (colloquially known as just King's or KB) is a campus of the University of Edinburgh in Scotland. Located in the suburb of Blackford, the site contains most of the schools within the College of Science and Engineering, ex ...
: James Clerk Maxwell Building, and the Darwin Building.
In June and July 2008, the School's research moved into its new home, the
Informatics Forum
The Informatics Forum is a major building on the Central Area campus of the University of Edinburgh. Completed in 2008, it houses the research institutes of the university's School of Informatics.
Design
The Forum is designed by Bennetts Asso ...
. The building, designed by
Bennetts Associates
Bennetts is a specialist insurance broker for motorcycles headquartered in Peterborough, with a contact centre in Coventry, England, owned by Saga plc.
On 17 February 2020 it was announced that The Ardonagh Group had agreed to purchase Benne ...
, Reaich and Hall and Buro Happold, now houses some 500 researchers, including staff and graduate students. Construction began in October 2005, and the Forum's completion in July 2008 finally brought the School's researchers together, under one roof, some ten years after its inception.
In August 2018, the School gained another research space in the form of the Bayes Centre, a purpose-built data science and Artificial Intelligence hub shared with multiple other data science and informatics groups, as well as the University's Maxwell Graduate Institute, encompassing the PhD research output of the mathematics departments at both Edinburgh and Heriot-Watt University.
See also
*
Edinburgh Parallel Computing Centre
EPCC, formerly the Edinburgh Parallel Computing Centre, is a supercomputing centre based at the University of Edinburgh. Since its foundation in 1990, its stated mission has been to ''accelerate the effective exploitation of novel computing t ...
Prolog
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...
*
Li-Fi
Li-Fi (also written as LiFi) is a wireless communication technology which utilizes light to transmit data and position between devices. The term was first introduced by Harald Haas during a 2011 TEDGlobal talk in Edinburgh.
Li-Fi is a light comm ...
*
WxWidgets
wxWidgets (formerly wxWindows) is a widget toolkit and tools library for creating graphical user interfaces (GUIs) for cross-platform applications. wxWidgets enables a program's GUI code to compile and run on several computer platforms with mini ...
Freddy II
Freddy (1969–1971) and Freddy II (1973–1976) were experimental robots built in the Department of Machine Intelligence and Perception (later Department of Artificial Intelligence, now part of the School of Informatics at the University of Ed ...
*
Festival Speech Synthesis System
The Festival Speech Synthesis System is a general multi-lingual speech synthesis system originally developed by Alan W. Black, Paul Taylor and Richard Caley at the Centre for Speech Technology Research (CSTR) at the University of Edinburgh. Subst ...
Edinburgh IMP
Edinburgh IMP is a development of Atlas Autocode, initially developed around 1966-1969 at the University of Edinburgh, Scotland. It is a general-purpose programming language which was used heavily for systems programming.
Expressively, IMP is hi ...
Lighthill report
__NOTOC__
''Artificial Intelligence: A General Survey'', commonly known as the Lighthill report, is a scholarly article by James Lighthill, published in ''Artificial Intelligence: a paper symposium'' in 1973.
Published in 1973, it was compiled by ...