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 | Analysis of evaluation and satisfiability problems | Chaste | COMPANIONS | 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 | HermiT | Integrative 3D modelling of ion and proton transport in a heart cell | LOGO | Mechanisms of arrhythmogenesis and defibrillation in ischaemia | Parsing of Biomedical Text | Perfusion control mechanisms in the pulmonary circulation | REOL | RInO | Robot Football | Schema Mappings and Automated Services for Data Integration and Exchange | Virtual Robots competition team | Wolfson Award

Algorithms for Large-Scale Nonlinearly Constrained Optimization | Multilevel Monte Carlo Algorithms for Mathematical Finance | 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 | 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-based test generation for embedded systems | Model-Checking for Timed Systems | Notions of width for directed graphs and hypergraphs | Predictable Software Systems | Pushdown Automata and Game Semantics | Quantum Information and its Ramifications for IT | Security Protocols for ad hoc networks | Ubiquitous Computing | UbiVal