HOME

TheInfoList



OR:

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 ...
, computational linguistics, systems biology,
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 ...
(REF) by research power, and 1st in the world for natural language processing (NLP).


Research

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 ...
* Peter Buneman *
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 ...
* Rod Burstall , emeritus * Kousha Etessami * Wenfei Fan * Michael Fourman * Igor Goryanin * Dragan Gasevic *
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 ...
* Aggelos Kiayias * Elham Kashefi * Frank Keller * Mirella Lapata * Leonid Libkin * Ursula Martin * Johanna Moore * Michael O'Boyle *
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 ...
* Keith Stenning *
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 ...
* Austin Tate *
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 ...
* Barbara Webb *
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 ...
in the UK * Sidney Michaelson * Jon Oberlander


Notable alumni

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 ...
* Pat Ambler, creator of
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 ...
* Joe Armstrong, creator of Erlang programming language and Open Telecom Platform (OTP) * Andrew Blake , computer scientist and former director of Microsoft Research, Cambridge and Alan Turing Institute in London * Bob Boyer , computer scientist, mathematician, philosopher 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 ...
* Alan W. Black, Professor at the
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 ...
, Carnegie Mellon University *
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 ...
, Professor at the Human–Computer Interaction Institute, Carnegie Mellon University *
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 ...
, computer scientist, Assistant Director of Microsoft Research, Cambridge * Ian Clarke, creator of
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 ...
* Rosemary Candlin, crystallographer and computer scientist at CERN * Margarita Chli, Leader of the Vision for Robotics Lab at
ETH Zürich (colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , image_size = , established = , type = Public , budget = CHF 1.896 billion (2021) , rector = Günther Dissertori , president = Joël Mesot , a ...
* John Darlington, Emeritus Professor,
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 ...
* Bruce Davie, CTO of
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 ...
* Peter Dayan , director at the Max Planck Institute for Biological Cybernetics in Tübingen, Germany * Paul Dourish , Professor at the
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 ...
* Jeremy Gibbons, Professor of computing,
University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...
* Andrew Gordon at Microsoft Research * Michael J. C. Gordon (1948–2017), computer scientist 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 ...
* Doug Gurr, global vice-president and head of Amazon UK * Philippa Gardner , Professor of
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 ...
, Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida *
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 ...
, Professor of computer science at Carnegie Mellon University * Matthew Hennessy , Co-creator of
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 ...
, CTO of
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 ...
Azure AI * Auke Ijspeert, Head of the Biorobotics Laboratory at EPFL *
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 ...
* Mark Jerrum, Professor of Pure mathematics at the
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 ...
Laureate * Philipp Koehn, Professor of
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 ...
* Christopher Longuet-Higgins (1923–2004) , cognitive scientist *
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 ...
* Eugenio Moggi, first to explicitly link the
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 ...
London. * John C. Reynolds (1935–2013) , inventor of
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 ...
and professor of computer science at Carnegie Mellon University * Davide Sangiorgi , Professor at the
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 ...
* Alistair Sinclair, Professor at
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 ...
* Chris Tofts, scientist at Hewlett-Packard *
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 ...
* Lincoln Wallen, CTO of Improbable, former CTO of DreamWorks Animation *
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 ...
at the UNSW *
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 ...
at Microsoft Research * David H. D. Warren, creator of the Warren Abstract Machine *
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 ...
, computer scientist at Google DeepMind and
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 ...
* ML *
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 ...
* Moses * Hope * NPL *
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 ...
* LCF * Edinburgh Multiple Access System *
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 ...
* QCDOC * Symbolic artificial intelligence *
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 ...


References

{{DEFAULTSORT:Edinburgh Informatics, University Of Computer science departments in the United Kingdom Educational institutions established in 1998 Schools of informatics Informatics 1998 establishments in Scotland