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
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
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
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