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 | Computer to Clinic: Personalised Fluid-Mechanical Models Applied to Heart Failure | Dissecting heart failure mechanisms | euHeart | Integrative 3D modelling of ion and proton transport in a heart cell | Lung Imaging | Mechanisms of arrhythmogenesis and defibrillation in ischaemia | Medical imaging | Modelling the Cellular Cardiac-Neural Axis in the control of Myocardial Excitability | Molecular modelling | Perfusion control mechanisms in the pulmonary circulation | REOL | Translating Biochemical Modelling into the Heart of the Clinic | VPH NoE

Algebraic and Coalgebraic Semantics for Knowledge Acquisition | Analysis of evaluation and satisfiability problems | Complexity of Valued Constraints | 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 | Groebner Basis Techniques for Constraint Satisfaction Problems | Information Flow: Foundations and Applications to Security | Information Hiding | LINT | Notions of width for directed graphs and hypergraphs | Pushdown Automata and Game Semantics | QICS | Quantum Information and its Ramifications for IT | Security Protocols for ad hoc networks | The Road to a New Quantum Formalism

COMPANIONS | Computational Entity-Level Sentiment Analysis | ConDOR | Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity | Europa | FOX | HermiT | LOGO | MayBMS | Parsing of Biomedical Text | Query-driven Data Acquisition from Web-based Data Sources | REQUIEM | RInO | Robot Football | Robotic Search and Rescue | Schema Mappings and Automated Services for Data Integration and Exchange | SEALS | 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 | Reusability and Dependent Types | Siemens Obfuscation Project

A theory of nondeterministic databases | AASN4IP | Accelerating Cancer Research Using Semantics-Driven Technology | Agent-based Area Exploration and Event Detection in Emergency Scenarios | Architectures for Trusted Utility Computing | Cancer Bioinformatics | CancerGrid | Choreographing Complex Services | Data Sharing for BRC | Data sharing for OCISB | e-Infrastructure Use Cases and Usage Models | eHorizons | Embedding e-Science Applications | Evolving access control | Evolving Health Informatics | Generative Formal Templates And Relational Databases | Generic Infrastructure for Medical Informatics | Hospital of the Future | Integrating Biological Simulations | Integrative Biology | Mobile and Sensor Nodes for Wildlife Monitoring | NCRI | NeuroGrid | Oxford eSocial Science | Secure Web Services | Semantic Frameworks | Sensing, Unmanned, Autonomous Aerial VEhicles | sif | Switched Lightpaths for e-Science Applications | TIME-EACM | Trustworthy Logging for Distributed Virtual Organisations | ULICE | Unifying Theories of Objects | VRE | Workflow interoperability

Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming | Automated quantitative software verification with PRISM | Automated Verification of Probabilistic Programs | CESAR | CONNECT-IP | CSP Model Checking | Efficient Verification of Software with Replicated Components | GAMES | Generalisation Operators for Abstraction-Refinement | Model Checking Partially Ordered State Spaces | Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity | Model-based test generation for embedded systems | Model-Checking for Timed Systems | New Approaches to Security and Model Checking | Predictable Software Systems | Privacy in Ontology-Based Information Systems | Quantitative Verification: From Model Checking to Model Measuring | Trust Metrics for SPKI/SDSI | Ubiquitous Computing | UbiVal | Verification of Shared-Memory Concurrent Software | Verified Communication Protocols for Multicore/SoC Architectures | Verifying Properties of the ML Family of Languages