InformaticsAchievements and Objectives

Key Facts

We lead the UK in research (according to the UK Research Assessment Exercise we have 69% more top rated research than our nearest competitor).

We are the largest research centre of our sort in the UK, with approximately 100 Academic staff 150 Postdoc researchers 250 PhD students 200 Masters level students 250 1st year undergraduates

Classical Period (1965-1984)

Roots of our science:

• State• Logic

Led to major breakthroughs, including:• Types and functional programming• Logic programming• Formal verification• Natural language processing

Eclectic Period (1985-1999)

• Many sub-fields• Many institutes

Emergence of sub-disciplines:

Led to major breakthroughs, including:• Proof planning• Algorithmic skeletons for parallel computation• Modular speech synthesis systems• 3D imaging

Modern Period (2000-2007)

Technologies begin to scale:

• Internet scale• Ubiquitous

Led to major breakthroughs, including:• XML databases• Peer to peer knowledge sharing systems• Very large scale learning systems• Proof carrying code

Post-Modern Period (2008+)

Maturing as a science:

• Common core• Computational scholarship• Symbiosis with other sciences

Leading to major breakthroughs, including:• High performance, low power micro-architectures• Humanoid robotics• Network science• Computational systems biology

Research AreasIntelligent Planning

Proof PlanningSecurity Engineering

Applied Computational LogicKnowledge Engineering

Virtual Worlds

NeuroInformaticsMachine Learning

Natural Language ProcessingMulti Modal Interaction Information ExtractionSpeech ProcessingMachine Translation

Parallel ComputingMicro ArchitecturesWireless Protocols & AppsIterative CompilationSelf Timed Circuits

RoboticsVision

DatabasesLanguagesSemantics

Complexity & AlgConcurrency & ModellingS/W Engineering Theory

Systems BiologyBiomedical InformaticsSynthetic Biology

ICSA

LFCSTheory

ICCSLanguage

ANC

Brain

IPAB

Robotics

CISAArtificial

Intelligence

ComputerScience

NeSc EPCCe-Science,

Grid

interdisciplinaryCentres

HighPerformance

What have we done for you lately?

Tiny, adaptive, networking systems

Humanoid robotics

Making predictions from very large data sources

Very fast design of low-energy chips

Outreach to creative industries

Building the Web of services

Adaptive speech synthesis

Examples of Connectivity to Schools

Physics

MathsGeosciences

Biology

Chemistry

Engineering

Business

Law

Sociology

ACE

EconomicsMedicine

Numerical Algorithms &Intelligent Software

High Performance Computing

Seismologyexperiments

Chemistry experiment portals

Systems biologySensors, hardware and comms

Telehealthcare

Design-informatics

Dependability consortium

Businessmodelling

Legal reasoning

Game theory

PPLS

CSTRHCRC

Some Imminent Issues

• Forming a FET Flagship consortium in social computation

• Establishing a Design-Informatics centre with the Edinburgh College of Art (and others)

• Extending our data intensive research programme

• Strengthening links to Medicine

• Sustainability for innovation and entrepeneurial activities