Skip to main content

All Projects

A

B

C

D

  • DeQS (De)constructing Quantum Software - DeQS

E

  • ELSA ELSA: European Lighthouse for Safe and Secure AI
  • Enzyme e-map Modernising Electrochemical Enzymology to Map Electron Transfer (Enzyme e-map)
  • ERC AdG WhiteMech White-box Self-Programming Mechanisms
  • EWADA The Ethical Web and Data Architecture in the Age of AI

F

  • FAIR FAIR: Framework for Responsible Innovation for Responsible Adoption of AI in the Financial Services Industry
  • Foundational AI Research
  • FUN2MODEL From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning

G

  • GCSCC Global Cyber Security Capacity Centre

H

M

  • Morello-HAT Morello-HAT: Morello High-Level API and Tooling

N

  • NAASP New Approaches to Approximability of Satisfiable Problems

O

P

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
  • QUINTON QUINTON - QUerying and INTegrating Over Nested data

R

S

  • SCULI SCULI - Securing Convergent Ultra-large Scale Infrastructures
  • SMASH-HCM
  • SNbD Secure Networking by Design (SNbD)
  • Soteria Soteria - Demonstrating the Security Capabilities of the Morello System in the e-commerce Vertical Industrial Segment
  • ST-SML Spatiotemporal statistical machine learning (ST-SML): theory, methods, and applications
  • STARDUST Session Types for Reliable Distributed Systems (STARDUST)

T

U

V

  • VSL-Q Verified Simulation for Large Quantum Systems (VSL-Q)

W

  • WOEST WesCon – Observing the Evolving Structures of Turbulence (WOEST)

Completed Projects

A

B

C

D

E

F

G

H

I

K

L

  • LabHackathon Zimbabwe Ethical hackathon for improved R&D capacity
  • LEMAN Deep LEarning on MANifolds and graphs
  • LINT Logic of Interaction and Information Flow
  • LogMap LogMap: Logic-based Methods for Ontology Mapping
  • LOGO Logics for Ontologies (EPSRC Senior Research Fellowship)
  • Lung Imaging

M

N

O

P

Q

R

S

T

U

V

W