Computer Science and Informatics (UoA 11)

Examples of 4* Case Studies:

• The University of Birmingham
  • Fighting the Malicious Web 
  • Providing accessibility to scientific documents to visually impaired readers through new technology 
  • Securing Banking Infrastructure with a New Cryptographic Protocol Testing Tool 
• University of Bristol
  • Enabling Voice Recognition Everywhere 
  • Isambard – revolutionising supercomputers through mobile technology 
  • Making real-time code navigation for tens of millions of Github users a reality 
  • Making the digital world feel more human: using haptic feedback to bring back the sense of touch 
  • Securing Data During Computation: Turning Theory into Practice 
• University of Edinburgh
  • Code size reduction enables cost savings and enhances functionality of modem and WiFi chipsets 
  • Effect handlers for increased reach, effectiveness, and future-proofing in software products and services 
  • Neural machine translation improves translation quality 
  • Neural network speech recognition algorithms lead to accurate speech-to-text transcription deployed in diverse products and services 
  • Novel architecture for high-performance computing accelerates data intensive software applications and enables release of new server lines 
  • Ouroboros provable proof-of-stake protocol ensures success of new blockchain platform and cryptocurrency 
  • The novel testing tool DexFuzz enables a smooth transition to Google's Android Runtime (ART) and its continuous bug-free development 
  • Two billion devices enabled annually by optimised low power embedded processor 
  • World-leading audio animation research enables continued growth of spinout company and novel features in computer gaming 
• Edinburgh Napier University
  • Blended Spaces - Creating Commercial and Social Benefit by Transforming Human Computer Interaction 
  • Enabling Sensitive Personal Data to be Shared with Trust using Novel Digital Security Methods 
  • Protecting Employees, Children and Sensitive Data using Innovative Approaches to Cyber Security 
• University of Glasgow
  • Algorithms for Paired Kidney Donation: Increasing Living Kidney Transplantation in the UK 
  • Increased scalability of Erlang for improved telecommunications and internet server capability. 
  • WebRTC standards improve interactive audio/visual communications via the world-wide web 
• Imperial College of Science, Technology and Medicine
  • GraphicsFuzz: Reliable and Secure Graphics Programming 
  • Infer: Scalable Static Analysis at Facebook and Beyond 
  • IXICO: Automated Biomedical Image Analysis for Clinical Trials (pharma) and Healthcare 
  • SLAM: Enabling Algorithms for Robotics and Augmented Reality 
• Queen Mary University of London
  • Causal Bayesian Reasoning Tools for Critical Decision Making 
  • Improving Mental Healthcare through a Tool for Effective Clinical Communication 
  • The Bela Open-source Hardware Platform for Music Makers and Artists 
  • The Infer Tool for Automatic Verification of Memory Violations in Software Systems 
• University of Southampton
  • Cost-effective assurance for industrial software systems through open source formal modelling and verification tools 
  • LifeGuide: Online Behavioural Interventions 
  • Novel image capture, processing and analysis methods for widespread web publishing, new commercial products and cultural heritage preservation 
  • Pioneering transnational open data innovation ecosystems to develop AI and the data economy in a secure way