Upload
susan-murphy
View
220
Download
0
Embed Size (px)
Citation preview
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