A

• A theory of nondeterministic databases
• ACE-OPS From Autonomy to Cognitive assistance in Emergency Operations
• ALGAME Algorithms, Games, Mechanisms, and the Price of Anarchy
• AMHDM AMHDM (Adolescence, Mental Health and the Developing Mind)
• Analysing Cyber Value-at-Risk
• Architectures for Trusted Utility Computing
• ArtForm

B

• Bayesian Optimization Bayesian Optimization and Bandits
• BLAST Better Languages for Statistics

C

• Chaste Chaste - Cancer, Heart and Soft Tissue Environment
• Cloud Internal Threat Detection Insider threat detection
• Computer Vision Image search and recognition
• ConstructionSiteTracking Agile Asset Monitoring for Construction Sites
• CyberVis

D

• Deep Learning

E

• EAMDWMT Efficient Algorithms for Mechanism Design Without Monetary Transfer
• Effective Validation of Firmware
• Emercency Responders Pervasive, Accurate and Reliable Location Based Services for Emergency Responders
• EnCoRe Ensuring Consent and Revocation
• ENFRame ENFrame: A Programming Framework for Probabilistic Data
• ERC AdG WhiteMech White-box Self-Programming Mechanisms
• EWADA The Ethical Web and Data Architecture in the Age of AI

F

• FDB FDB: Factorised Databases
• FDR
• Fly2Plan Fly2Plan: Enabling a new model aviation data system-of-systems
• FoSH - Future of Smart Homes Informing the Future of Data Protection by Design and by Default in Smart Homes
• FUN2MODEL From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning
• Future Home Networks and Services
• FuturICT Unleashing the power of information for a sustainable future

G

• Gauge
• GCSCC Global Cyber Security Capacity Centre

H

• HARPS Being There: Humans and Robots in Public Spaces
• HiPerDNO High Performance Computing Technologies for Smart Distribution Network Operation
• HOTSPOT 2017 HOTSPOT 2017 workshop

I

• Identity Security in Cyberspace
• Image Segmentation Hierarchical Segmentations with Watershed and Waterfall
• IndoorPos Lightweight and robust indoor positioning
• InfoSec Information Security
• Integrated Mobile Security Kit
• Internet Science Network of Excellence in Internet Science
• ISBP Information Security Best Practice

K

• KOALA Kids Online Anonymity & Lifelong Autonomy

L

• Lung Imaging

M

• MetaVis Research and Development into METAVIS Bio and man-made environmental visual metaphors for insider threat detection in digital systems
• Model-driven software development Booster: Model-driven software development
• myTrustedCloud

N

• NAASP New Approaches to Approximability of Satisfiable Problems
• Network Security
• Non-Standard Authentication The foundations of non-standard authentication
• Noninterference and covert channel analysis

O

• OxMedIS Oxford Medical Image Segmentation

P

• Parametrising biological models with PINTS
• PARIS-DE Design Principles and Responsible Innovation for a Sustainable Digital Economy
• PDQ Proof-Driven Querying
• Physical attack containment
• Point Cloud Analysis
• Privacy Value Networks
• Probabilistic Graphical Models

Q

• QISS The Quantum Information Structure of Spacetime
• Quantum programming via algebraic effects Quantum programming via algebraic effects: cross-fertilization between quantum and probabilistic programming

R

• RAILS (Responsible AI for Long-term Trustworthy Autonomous Systems)
• Reasoning about control
• ReCount -- Prototype
• Refinement-friendly bigraphs
• Reinforcement Learning Sequential decision making and reinforcement learning
• Research software engineering to facilitate knowledge transfer Case Study. Providing research software engineering to facilitate knowledge transfer: analysis of need and a test case
• Responsible Technology Institute
• ReTiPS Respectful Things in Private Spaces
• RicherPicture Automated network defence through business and threat-led machine learning
• RoboTIPS RoboTIPS: Developing Responsible Robots for the Digital Economy

S

• SATURN Self-organizing Adaptive Technology underlying Resilient Networks
• Secure Networking by Design
• Security Protocols for Ad Hoc Networks
• Sponstaneous Security Trustworthy Digital Systems
• SPROUT Scalable Query Processing in Probabilistic Databases
• Super Identity

T

• TEASE TRUST ENABLING AUGMENTED-REALITY SUPPORT FOR INFORMATION-ENVIRONMENTS
• The Cardiac Electrophysiology Web Lab
• TrackSafe TrackSafe:Trackworker Safety
• Translating Biochemical Modelling into the Heart of the Clinic

U

• UK FIRES UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy

W

• WiFire Wireless firewall
• Wireless key generation

A

• Accelerating Cancer Research Using Semantics-Driven Technology
• Acoustic Actuated Sensor Networks for Industrial Processes (AASN4IP)
• Adaptive finite element computations of nonlinear elasticity problems
• Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming
• AFFECTech AFFECTech: Personal Technologies for Affective Health
• Agent-based Area Exploration and Event Detection in Emergency Scenarios
• AirPROM Airway Disease Predicting Outcomes through Patient Specific Computational Modelling
• Algebraic and Coalgebraic Semantics for Knowledge Acquisition Algebraic and coalgebraic semantics for knowledge acquisition: foundations, applications, and tool support
• ALIGNED ALIGNED: Quality-Centric Software and Data Engineering
• AnaLOG Datalog Extensions for the Analysis of Static and Streaming Data
• Analysis of evaluation and satisfiability problems Structural and game-based analysis of evaluation and satisfiability problems
• AppTRE
• ARCHER RAP Novel risk-stratification biomarkers from HPC simulations in patients with inherited diseased conditions
• Aspect Refactoring Tools
• Aspect-Oriented Programming Languages Design and Implementation of Aspect-Oriented Programming Languages
• Automated quantitative software verification with PRISM
• Automated Verification of Probabilistic Programs
• Automating quantum circuit transformations Automating quantum circuit transformations for optimisation and fault-tolerance
• Autonomous Ubiquitous Sensing

B

• Bidirectional Transformations A Theory of Least Change for Bidirectional Transformations
• British Heart Foundation Intermediate Basic Science Research Fellowship In-silico investigation of structural and electrophysiological substrates for sudden cardiac death in human hypertrophic cardiomyopathy

C

• Cancer Bioinformatics International collaboration in data standards & software engineering for cancer bioinformatics
• CancerGrid CancerGrid: A consortium to develop open standards for clinical cancer informatics
• CESAR Cost-efficient methods and processes for safety relevant embedded systems
• Chaste Chaste: Developing software for realistic heart simulations
• Choreographing Complex Services
• COMPANIONS
• CompBioMed CompBiomed High Performance Centre of Research Excellence in Computational Biomedicine
• CompGameTheory A compositional approach to game-theoretic economic modelling
• Complexity of Valued Constraints The Complexity of Valued Constraints
• Computational Counting
• Computational Entity-Level Sentiment Analysis
• Computer to Clinic: Personalised Fluid-Mechanical Models Applied to Heart Failure
• ConDOR Consequence-Driven Ontology Reasoning
• CONNECT-IP CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems
• Constraint Network Tractability Constraint Network Tractability: Beyond Structure and Language
• Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity
• Corporate Insider Threat Detection Corporate Insider Threat Detection: Cyber Security Inside and Out
• Counting of separable functions
• CPROVER Validation of Concurrent Software Across Abstraction Layers
• CSP Model Checking CSP Model Checking: New Technology and Techniques

D

• Datatype-Generic Programming
• DBOnto DBOnto: Bridging Databases and Ontologies
• DIADEM DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
• Digital Wildfire
• Discrete Domains
• Dissecting heart failure mechanisms Dissecting heart failure mechanisms by integrating in vivo and in vitro data within customised in silico models
• Dynamics and Security in Evolutionary Network Computation

E

• e-Infrastructure Use Cases and Usage Models eIUS: e-Infrastructure Use Cases and Service Usage Models
• ED3 Enabling analytics over Diverse Distributed Datasources
• Edge CSPs Edge Constraint Satisfaction Problems
• Efficient Verification of Software with Replicated Components
• eHorizons eHorizons Project
• Embedding e-Science Applications Embedding e-Science Applications - Designing and Managing for Usability
• Entanglement in Quantum Computing An Abstract Approach to Entanglement in Quantum Computing
• EPSRC UAV Autonomy New Foundational Structures for Engineering Verified multi-UAVs
• euHeart euHeart: Integration of Cardiovascular Models for the Improved Management of In Silico Disease
• Europa European Robotic Pedestrian Assistant
• EUSTACE Evaluating Usability, Security, and Trustworthiness of Ad-hoc Collaborative Environments
• Evolving Health Informatics Evolving Health Informatics: semantic frameworks and metadata-driven architectures
• ExODA ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
• ExtraLytics ExtraLytics: Big Data Analytics for Real Estate

F

• Foundational Structures for Compositional Meaning
• Foundational Structures and Methods for Quantum Informatics
• FOX FOX: Foundations of XML - Safe Processing of Dynamic Data over the Internet
• FRESNEL Federated Secure Sensor Network Laboratory
• FRRIICT Framework for Responsible Research & Innovation in ICT

G

• Game Semantics of Concurrency, Objects and Mobility Towards a Game Semantics of Concurrency, Objects and Mobility
• GAMES GAMES: Games for Design and Verification
• Generalisation Operators for Abstraction-Refinement
• Generative Formal Templates And Relational Databases
• Generic and Indexed Programming
• Generic Infrastructure for Medical Informatics GIMI: Generic Infrastructure for Medical Informatics
• GREAT Governance for Responsible Innovation
• Groebner Basis Techniques for Constraint Satisfaction Problems

H

• HermiT HermiT: Reasoning with Large Ontologies
• Higher-order Constrained Horn Clauses Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs
• Hospital of the Future Hospital of the Future: Integrated Patient Management in the Digital Hospital

I

• Industrial IoT security Cyber Security for the Industrial IoT
• Information Flow: Foundations and Applications to Security
• Information Hiding
• Integrating Biological Simulations
• Integrative 3D modelling of ion and proton transport in a heart cell
• Integrative Biology

K

• Knee MRI segmentation Unsupervised 3D segmentation of knee MRI

L

• LabHackathon Zimbabwe Ethical hackathon for improved R&D capacity
• LINT Logic of Interaction and Information Flow
• LogMap LogMap: Logic-based Methods for Ontology Mapping
• LOGO Logics for Ontologies (EPSRC Senior Research Fellowship)

M

• ManySecured ManySecured Router And Gateway Secure IOT Networking
• MaSI3 A Massively Scalable Intelligent Information Infrastructure
• MayBMS MayBMS: A Database Management System for Uncertain and Probabilistic Data
• MCC Mapping the Complexity of Counting
• Mechanisms of arrhythmogenesis and defibrillation in ischaemia Integrative computational and experimental study of arrhythmogenesis and defibrillation in acute myocardial ischaemia
• Metacomputation Centre for Metacomputation
• millipede A Decision-Support System for (Renal) Cancer Imaging
• Mobile and Sensor Nodes for Wildlife Monitoring WILDSENSING: A Hybrid Framework of Mobile and Sensor Nodes for Wildlife Monitoring
• Mobile Robotics Mobile Autonomy Programme Grant: Safety, Trust and Integrity
• Model Checking Partially Ordered State Spaces Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces
• Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity
• Model-based test generation for embedded systems Model-based Generation of Tests for Dependable Embedded Systems
• Model-Checking for Timed Systems Model-Checking Algorithms for Timed Systems
• Modelling the Cellular Cardiac-Neural Axis in the control of Myocardial Excitability
• Models and technologies for assured, context-sensitive access control
• Molecular modelling Stratagems for Effective Function Evaluation in Computational Chemistry

N

• NC3Rs Infrastructure for Impact Award In Silico human-based methodologies for evaluation of drug safety and efficacy
• NeuroGrid
• New Approaches to Security and Model Checking
• Notions of width for directed graphs and hypergraphs Notions of width for directed graphs and hypergraphs: foundations and applications
• NQITRRI Responsible Research and Innovation in Networked Quantum IT

O

• Optimisation of Separable Functions
• Optique Optique: Scalable End-user Access to Big Data
• ORBIT
• Oxford eSocial Science Oxford eSocial Science Project: ethical, legal and institutional dynamics of grid enabled eSciences

P

• Parsing of Biomedical Text Accurate and Efficient Parsing of Biomedical Text
• Perfusion control mechanisms in the pulmonary circulation Investigation of perfusion control mechanisms in the pulmonary circulation via a computational model
• Personalized Search on the Social Web
• PIC Personalised in Silico Cardiology
• PINCETTE Validating Changes and Upgrades in Networked Software
• PowAlgDO Power of Algorithms in Discrete Optimisation
• PRACE Project Access In silico drug trials in the beating ischaemic human heart
• preDiCT Computational prediction of drug cardiac toxicity
• Predictable Software Systems
• PrefMPS Preference Mining for Personalised Search on the Social Semantic Web
• Principled Foundations for Programming Languages
• PRISMATIC PRISMATIC: Unified Hierarchical Probabilistic Verification Tool
• Privacy in Ontology-Based Information Systems
• Probabilistic Semantic Query Answering on the Web
• PRODIMA PRODIMA: PRObabilistic Data and information Integration with provenance MAnagement
• PrOQAW PrOQAW: Probabilistic Ontological Query Answering on the Web
• Pushdown Automata and Game Semantics

Q

• QICS Foundational Structures for Quantum Information and Computation
• Quantitative Logic-based Games Combining Qualitative and Quantitative Reasoning for Logic-based Games
• Quantitative Verification: From Model Checking to Model Measuring
• Quantum Information and its Ramifications for IT The Structure of Quantum Information and its Ramifications for IT
• QueRe Query Rewriting for Expressive Ontology Languages
• Query-driven Data Acquisition from Web-based Data Sources

R

• RACE Reasoning about Computational Economies
• RealPDBs Realistic Data Models and Query Compilation for Large-Scale Probabilistic Databases
• ReEnTrust ReEnTrust: Rebuilding and Enhancing Trust in Algorithms
• REOL Reasoning for Expressive Ontology Languages
• REQUIEM REQUIEM: Resolution-based Query rewrIting for Expressive Models
• RESPONSIBILITY Global Model and Observatory for International Responsible Research and Innovation Coordination
• ResQCCom Responsible Quantum Computing Communications
• Reusability and Dependent Types
• RInO Reasoning Infrastructure for Ontologies and Instances
• RoAD RoAD (Responsible AV Data)
• RoboCup RoboCup International Robot Competitions
• Robot Football OxBlue, Oxford's Robot Football teams at RoboCup
• Robotic Search and Rescue

S

• SAFeSEA Supportive Automated Feedback for Short Essay Answers
• Schema Mappings and Automated Services for Data Integration and Exchange
• Score! Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners
• SEALS SEALS: Semantic Evaluation at Large Scale
• Secure Web Services Secure and Trustworthy Web Services
• Semantic Frameworks Semantic Frameworks for e-Government
• Sensing, Unmanned, Autonomous Aerial VEhicles
• Siemens Obfuscation Project Intellectual Property Protection using Obfuscation
• sif service-oriented interoperability framework
• SmartSociety SmartSociety: hybrid and diversity-aware collective adaptive systems: where people meet machines to build a smarter society
• SOCIAM SOCIAM: The Theory and Practice of Social Machines
• SOFA Service-Oriented Federated Authorization
• Structures at the Interface of Physics and Computer Science
• Switched Lightpaths for e-Science Applications Exploitation of Switched Lightpaths for e-Science Applications
• Synergy – COPD Modelling and simulation environment for systems medicine (Chronic obstructive pulmonary disease -COPD- as a use case)

T

• TCLOUDS Trustworthy Clouds - Privacy and Resilience for Internet-scale Critical Infrastructure
• The Road to a New Quantum Formalism The Road to a New Quantum Formalism - Categories as a Canvas for Quantum Foundations
• The Social Machine of Mathematics
• TIME-EACM TIME-EACM: Transport Information Monitoring Environment - Event Architecture and Context Management
• Towards comprehensive verification of stochastic systems
• Transducer-based approach to infinite-state verification A generic transducer-based approach to modelling and verifying infinite systems
• TransQST Translational quantitative systems toxicology
• Trust Domains
• Trust Metrics for SPKI/SDSI
• Trustworthy Logging for Distributed Virtual Organisations
• TUMOR Transatlantic TUmour MOdel Repositories

U

• Ubiquitous Computing Shaping an International Grand Challenge Community for Ubiquitous Computing
• UbiVal UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
• ULICE ULICE: Union of Light-Ion Centres in Europe
• UnBias UnBias: Emancipating Users Against Algorithmic Biases for a Trusted Digital Economy
• UnderTracker Underground Animal Tracking & Mapping in 3D
• Unifying Theories of Generic Programming
• Unifying Theories of Objects

V

• Vaccines Data Management
• VADA VADA: Value Added Data Systems -- Principles and Architecture
• Verification of Shared-Memory Concurrent Software
• Verified Communication Protocols for Multicore/SoC Architectures
• Verifying Properties of the ML Family of Languages
• VERIPACE VERIPACE: Design, Analysis and Synthesis Tools for Cardiac Pacemaker Software
• VERIWARE VERIWARE: From Software Verification to Everyware Verification
• VPH NoE Virtual Physiological Human Network of Excellence
• VRE A Virtual Research Environment for the Study of Documents and Manuscripts.

W

• webinos Project webinos: Secure WebOS Application Delivery Environment
• Wellcome Trust Senior Research Fellowship Safety and efficacy of anti-arrhythmic drug therapy in acute myocardial ischaemia in human. An integrative, multiscale and mechanistic investigation
• Wolfson Award Royal Society Wolfson Research Merit Award
• Workflow interoperability A framework for workflow interoperability