Information about University Of Edinburgh School Of Informatics

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, 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 and the Human Communication Research Centre. Research in the School of Informatics draws on these component disciplines and much of it is interdisciplinary in nature. The school is especially well known for research in the areas of artificial intelligence, computational linguistics, systems biology and theoretical computer science but also contributes to many other areas of informatics. The school has a research staff of over 130 individuals, and an academic staff of 75. Current enrollment includes around 250 research students, and 475 taught masters and undergraduate students. The school was ranked 1st in the UK according to the Guardian University Tables 2008[1].

Research

The School of Informatics was awarded a 5*A in the UK government's HEFCE Research Assessment Exercise, the only computer science department in the country to achieve this highest possible rating. The School is generally considered world-leading, standing with the foremost U.S. institutes.

The School has six research Institutes:
Institute for Adaptive and Neural Computation
Theoretical and empirical study of brain processes and artificial learning systems, drawing on neuroscience, cognitive science, computer science, computational science, mathematics and statistics.
Centre for Intelligent Systems and their Applications
Basic and applied research and development in knowledge representation and reasoning.
Through its Artificial Intelligence Applications Institute (AIAI) it works with others to deploy the technologies associated with this research.
Institute for Communicating and Collaborative Systems
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
Architecture and engineering of future computing systems: performance and scalability; innovative algorithms, architectures, compilers, languages and protocols.
Institute of Perception, Action and Behaviour
Linking 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
Developing and applying foundational understanding of computation and communication: formal models, mathematical theories, and software tools.


A new Informatics Life Sciences Institute will be formed in 2007.

People

Professors

Established and personal Chairs[2]

Malcolm Atkinson (e-Science), Chris Bishop (Computer Science), Alan Bundy (Automated Reasoning), Peter Buneman (Database Systems; Royal Society Wolfson Wolfson Research Merit Award[3]), Wenfei Fan (Web Data Management), Bob Fisher (Computer Vision), Michael Fourman (Computer Systems—Software), Igor Goryanin (Systems Biology), Jane Hillston (Quantitative Modelling), Ewan Klein (Cognitive Systems), Leonid Libkin (Foundations of Data Management; Marie Curie Chair[4]), Johanna Moore (Artificial Intelligence), Jon Oberlander (Epistemics), Michael O'Boyle (Computer Science), Gordon Plotkin FRS (Computation Theory; Royal Society Wolfson Research Merit Award[3]), Steve Renals (Speech Technology), Don Sannella (Computer Science), Mark Steedman FBA (Cognitive Science), Keith Stenning (Human Communications), Colin Stirling (Computation Theory), Austin Tate (Knowledge-Based Systems), Nigel Topham (Computer Systems), Phil Wadler (Theoretical Computer Science; Royal Society Wolfson Wolfson Research Merit Award[3]), Bonnie Webber (Intelligent Systems), Chris Williams (Machine Learning), David Willshaw (Computational Neuroscience)

Notable alumni

Previous staff and students, including alumni of the departmental forebears of the school.

Samson Abramsky FRS, Andrew Blake FRS, Bob Boyer, Luca Cardelli FRS, Ian Clarke, Andrew Fitzgibbon, Michael Gordon FRS, Richard Gregory FRS, Pat Hayes, Mark Jerrum, Christopher Longuet-Higgins FRS, Geoffrey Hinton FRS, Robert Kowalski, Bernard Meltzer, Donald Michie, Robin Milner FRS, J Strother Moore, Timothy O'Shea, Barry Richards, Alistair Sinclair, Aaron Sloman, Leslie Valiant, Lǐ Wèi

Accommodation

The Edinburgh Cowgate fire of December 2002 destroyed a number of buildings, including 80 South Bridge, which housed around one third of the school and its renowned AI library. Space was quickly made available in the University's Appleton Tower as a replacement.

The School is currently dispersed over five sites: three in the George Square Campus: Appleton Tower, Buccleuch Place, Forrest Hill; and two at King's Buildings: James Clerk Maxwell Building, and the Darwin Building.

A new home for the School's research, The Informatics Forum, is being built in the George Square campus, on the former Crichton Street car park, adjacent to the Appleton Tower. The Forum, a building for interaction designed by Bennetts Associates, will house some 500 researchers - staff and students. Construction began in October 2005. Occupation of the new building is scheduled for late 2007, finally bringing the School's researchers together, under one roof, some ten years after its inception.

The Appleton Tower, which will house all the School's teaching and commercialisation activities, is also undergoing extensive refurbishment.

References

External link

Coordinates:
Informatics includes the science of information, the practice of information processing, and the engineering of information systems. Informatics studies the structure, behavior, and interactions of natural and artificial systems that store, process and communicate information.
..... Click the link for more information.
University of Edinburgh (Scottish Gaelic: Oilthigh Dhùn Èideann), founded in 1582,[4] is a renowned centre for teaching and research in Edinburgh, Scotland.
..... Click the link for more information.
Motto
Nemo me impune lacessit   (Latin)
"No one provokes me with impunity"
"Cha togar m'fhearg gun dioladh"   
..... Click the link for more information.
Informatics includes the science of information, the practice of information processing, and the engineering of information systems. Informatics studies the structure, behavior, and interactions of natural and artificial systems that store, process and communicate information.
..... Click the link for more information.
19th century - 20th century - 21st century
1960s  1970s  1980s  - 1990s -  2000s  2010s  2020s
1995 1996 1997 - 1998 - 1999 2000 2001

Year 1998 (MCMXCVIII
..... Click the link for more information.
artificial intelligence (or AI) is "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions which maximizes its chances of success.
..... Click the link for more information.
Computational linguistics is an interdisciplinary field dealing with the statistical and/or rule-based modeling of natural language from a computational perspective. This modeling is not limited to any particular field of linguistics.
..... Click the link for more information.
Systems biology, a field of study in the biosciences, focuses on the systematic study of complex interactions in biological systems. Particularly from 2000 onwards, the term is used widely in the biosciences, and in a variety of contexts.
..... Click the link for more information.
Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages.
..... Click the link for more information.
The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science.
..... Click the link for more information.
Christopher M. Bishop, FREng, FBCS, is Assistant Director of Microsoft Research, Cambridge, and holds a Chair of Computer Science at the University of Edinburgh.

Career

He obtained a B.A.
..... Click the link for more information.
Computer science, or computing science, is the study of the theoretical foundations of information and computation and their implementation and application in computer systems.
..... Click the link for more information.
Alan Bundy, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.
..... Click the link for more information.
Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically.
..... Click the link for more information.
A database management system (DBMS) is computer software designed for the purpose of managing databases. Typical examples of DBMSs include Oracle, DB2, Microsoft Access, Microsoft SQL Server, PostgreSQL, MySQL, FileMaker and Sybase Adaptive Server Enterprise.
..... Click the link for more information.
Computer vision is the science and technology of machines that see.

As a scientific discipline, computer vision is concerned with the theory and technology for building artificial systems that obtain information from images.
..... Click the link for more information.
Michael Paul Fourman
Born September 12 1950 (1950--) (age 57)
Oxford
Residence Scotland
..... Click the link for more information.
Systems biology, a field of study in the biosciences, focuses on the systematic study of complex interactions in biological systems. Particularly from 2000 onwards, the term is used widely in the biosciences, and in a variety of contexts.
..... Click the link for more information.
Johanna Doris Moore is a computational linguist and cognitive scientist. Her research Interests include natural language generation, spoken dialogue systems, computational models of discourse, intelligent tutoring and training systems, human-computer interaction, user modeling, and
..... Click the link for more information.
Jon Oberlander is Professor of Epistemics at the School of Informatics, University of Edinburgh. His research looks at the interface between human communication and natural language processing.
..... Click the link for more information.
Epistemics is a term coined in 1969 by Edinburgh University with the foundation of its School of Epistemics. It is to be distinguished from Epistemology in that this is the philosophical theory of knowledge, whereas epistemics signifies the scientific study of knowledge.
..... Click the link for more information.
Computer science, or computing science, is the study of the theoretical foundations of information and computation and their implementation and application in computer systems.
..... Click the link for more information.
Gordon D. Plotkin
Born September 9 1946 (1946--) (age 61)
Glasgow
Residence Scotland
..... Click the link for more information.
FRS is an abbreviation which can stand for various phrases:
  • Fellow of the Royal Society, a title awarded to distinguished scientists who are British, Commonwealth or Republic of Ireland citizens
  • Family Radio Service, a personal radio service utilizing the UHF band

..... Click the link for more information.
Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems,
..... Click the link for more information.
Computer science, or computing science, is the study of the theoretical foundations of information and computation and their implementation and application in computer systems.
..... Click the link for more information.
Mark J. Steedman, FBA FRSE (born 18 September 1946) is a computational linguist and cognitive scientist.

Steedman graduated from the University of Sussex in 1968, with a B.Sc in Experimental Psychology, and from the University of Edinburgh in 1973, with a Ph.D.
..... Click the link for more information.
FBA can mean:
  • Fellow of the British Academy
  • Federation of British Artists
  • First Baptist Church, Atlanta, Georgia
  • Flag Burning Amendment, a proposed amendment to the U.S.

..... Click the link for more information.
Austin Tate is Director of AIAI (Artificial Intelligence Applications Institute) in the School of Informatics at the University of Edinburgh. He holds the Chair in Knowledge-Based Systems at the University of Edinburgh.
..... Click the link for more information.
Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional
..... Click the link for more information.


This article is copied from an article on Wikipedia.org - the free encyclopedia created and edited by online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of the wikipedia encyclopedia articles provide accurate and timely information please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.
Herod_Archelaus


page counter