Research projects
Most of the research projects at the Department of Computer Science 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 Department even if the overall leadership is based elsewhere (as in the case of some large consortium projects). Current projects within the Department of Computer Science are listed below, in order of primary theme, and then alphabetically.
Algorithms
Automated Verification
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming | Automated quantitative software verification with PRISM | Automated Verification of Probabilistic Programs | Autonomous Ubiquitous Sensing | CESAR | CONNECT-IP | CPROVER | CSP Model Checking | Efficient Verification of Software with Replicated Components | EPSRC UAV Autonomy | FDR | GAMES | Generalisation Operators for Abstraction-Refinement | Intel Firmware | 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 | PINCETTE | Predictable Software Systems | PRISMATIC | Quantitative Verification: From Model Checking to Model Measuring | ReCount -- Prototype | Transducer-based approach to infinite-state verification | 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 | VERIWARE
Computational Biology
2020 Science | Adaptive finite element computations of nonlinear elasticity problems | AirPROM | Chaste | 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 | millipede | Modelling the Cellular Cardiac-Neural Axis in the control of Myocardial Excitability | Molecular modelling | Perfusion control mechanisms in the pulmonary circulation | preDiCT | REOL | Synergy – COPD | Translating Biochemical Modelling into the Heart of the Clinic | VPH NoE
Foundations, Logic and Structures
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 for Compositional Meaning | 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 | RACE | Security Protocols for Ad Hoc Networks | Structures at the Interface of Physics and Computer Science | The Road to a New Quantum Formalism
Information Systems
COMPANIONS | Computational Entity-Level Sentiment Analysis | ConDOR | Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity | DIADEM | Europa | ExODA | FDB | FOX | HermiT | LogMap | LOGO | MaSI3 | MayBMS | Optique | Parsing of Biomedical Text | Privacy in Ontology-Based Information Systems | Probabilistic Semantic Query Answering on the Web | PRODIMA | PrOQAW | QueRe | Query-driven Data Acquisition from Web-based Data Sources | REQUIEM | RInO | RoboCup | Robot Football | Robotic Search and Rescue | SAFeSEA | Schema Mappings and Automated Services for Data Integration and Exchange | Score! | SEALS | SPROUT | Wolfson Award
Programming Languages
Aspect Refactoring Tools | Aspect-Oriented Programming Languages | Datatype-Generic Programming | Generic and Indexed Programming | Reusability and Dependent Types | Siemens Obfuscation Project | Unifying Theories of Generic Programming
Security
Cloud Internal Threat Detection | Corporate Insider Threat Detection | CyberVis | EnCoRe | EUSTACE | Federated Secure Sensor Network Laboratory | FRRIICT | Future Home Networks and Services | FuturICT | HiPerDNO | Identity security | InfoSec | Integrated Mobile Security Kit | Internet Science | ISBP | myTrustedCloud | Network Security | Non-Standard Authentication | Noninterference and covert channel analysis | Physical attack containment | Privacy Value Networks | Refinement-friendly bigraphs | SATURN | Sponstaneous Security | Super Identity | TEASE | WiFire | Wireless key generation
Software Engineering
A theory of nondeterministic databases | Accelerating Cancer Research Using Semantics-Driven Technology | Acoustic Actuated Sensor Networks for Industrial Processes (AASN4IP) | Agent-based Area Exploration and Event Detection in Emergency Scenarios | Architectures for Trusted Utility Computing | Cancer Bioinformatics | CancerGrid | Choreographing Complex Services | e-Infrastructure Use Cases and Usage Models | eHorizons | Embedding e-Science Applications | Evolving Health Informatics | FRESNEL | Gauge | 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 | Model-driven software development | Models and technologies for assured, context-sensitive access control | NeuroGrid | Oxford eSocial Science | Secure Web Services | Semantic Frameworks | Sensing, Unmanned, Autonomous Aerial VEhicles | sif | SOFA | Switched Lightpaths for e-Science Applications | TCLOUDS | TIME-EACM | Trust Domains | Trustworthy Logging for Distributed Virtual Organisations | TUMOR | ULICE | UnderTracker | Unifying Theories of Objects | Vaccines Data Management | VRE | webinos Project | Workflow interoperability