Informatics Achievements 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 ( ) Roots of our science: State Logic Led to major breakthroughs, including: Types and functional programming Logic programming Formal verification Natural language processing

Eclectic Period ( ) 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 ( ) 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 Areas Intelligent Planning Proof Planning Security Engineering Applied Computational Logic Knowledge Engineering Virtual Worlds NeuroInformatics Machine Learning Natural Language Processing Multi Modal Interaction Information Extraction Speech Processing Machine Translation Parallel Computing Micro Architectures Wireless Protocols & Apps Iterative Compilation Self Timed Circuits Robotics Vision Databases Languages Semantics Complexity & Alg Concurrency & Modelling S/W Engineering Theory Systems Biology Biomedical Informatics Synthetic Biology ICSA LFCS Theory ICCS Language ANC Brain IPAB Robotics CISA Artificial Intelligence Computer Science NeSc EPCC e-Science, Grid interdisciplinary Centres High Performance

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 PhysicsMathsGeosciencesBiologyChemistryEngineeringBusiness Law SociologyACEEconomicsMedicine Numerical Algorithms & Intelligent Software High Performance Computing Seismology experiments Chemistry experiment portals Systems biology Sensors, hardware and comms Telehealthcare Design-informatics Dependability consortium Business modelling Legal reasoning Game theory PPLS CSTR HCRC

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