research

themes | activities | projects | people

Most of the research projects at the Laboratory last for between two and five years, and are funded by UK research councils or industrial partners. Each project has a designated lead, or principal investigator, within the Laboratory, even if the overall leadership is based elsewhere (as in the case of some large consortium projects). Current projects within the Laboratory are listed below, in order of primary theme, and then alphabetically.

Adaptive finite element computations of nonlinear elasticity problems | Chaste | Complexity of Valued Constraints | Computational Entity-Level Sentiment Analysis | Decision Support for (Renal) Cancer Imaging | Effective Function Evaluation | Groebner Basis Techniques for Constraint Satisfaction Problems | Integrative 3D modelling of ion and proton transport in a heart cell | Mechanisms of arrhythmogenesis and defibrillation in ischaemia | Perfusion control mechanisms in the pulmonary circulation | REOL

Algebraic and Coalgebraic Semantics for Knowledge Acquisition | Analysis of evaluation and satisfiability problems | CSP Model Checking | Dynamics and Security in Evolutionary Network Computation | Entanglement in Quantum Computing | EvolNet | Foundational Structures and Methods for Quantum Informatics | Game Semantics of Concurrency, Objects and Mobility | Information Hiding | Model Checking Partially Ordered State Spaces | Model-Checking for Timed Systems | Notions of width for directed graphs and hypergraphs | Pushdown Automata and Game Semantics | Quantum Information and its Ramifications for IT | Security Protocols for ad hoc networks

COMPANIONS | ConDOR | HermiT | LOGO | MayBMS | Parsing of Biomedical Text | RInO | Robot Football | Robotic Search and Rescue | Schema Mappings and Automated Services for Data Integration and Exchange | SPROUT | Wolfson Award

Algorithms for Large-Scale Nonlinearly Constrained Optimization | Multilevel Monte Carlo Algorithms for Mathematical Finance | Probabilistic Analysis of Condition Numbers | Scientific Computing and the Chebfun System

Aspect Refactoring Tools | Aspect-Oriented Programming Languages | Datatype-Generic Programming | Generic and Indexed Programming

A theory of nondeterministic databases | Cancer Bioinformatics | CancerGrid | Choreographing Complex Services | e-Infrastructure Use Cases and Usage Models | eHorizons | Embedding e-Science Applications | Evolving Health Informatics | Generic Infrastructure for Medical Informatics | Integrating Biological Simulations | Integrative Biology | Mobile and Sensor Nodes for Wildlife Monitoring | NCRI | NeuroGrid | Oxford eSocial Science | Robot-assisted Exploration in Emergency Scenarios | Secure logging and audit trails in grid systems | Secure Web Services | Semantic Frameworks | sif | Switched Lightpaths for e-Science Applications | Transport Information Monitoring Environment | VRE | Workflow interoperability

Automated quantitative software verification with PRISM | Efficient Verification of Software with Replicated Components | Model-based test generation for embedded systems | Predictable Software Systems | Ubiquitous Computing | UbiVal