Quantum-corrected Floquet dynamics: a new approach to quantum control
Quantum-corrected Floquet dynamics: a new approach to quantum control
About the Project Increasingly sophisticated control of quantum systems using classical fields is a crucial tool in emerging scientific and technological applications. At heart, however, control fields are quantum. In … Read More Read More
Categories:
Modelling and identification of cerebral blood flow control
Modelling and identification of cerebral blood flow control
About the Project Co-Supervisor: Professor David Simpson The project focuses on understanding cerebral blood flow and its physiological control, to improve diagnosis and treatment of brain injuries. The project will … Read More Read More
Categories:
Interpretable Models: Bringing Transparency to Deep Learning Decision-Making
Interpretable Models: Bringing Transparency to Deep Learning Decision-Making
About the Project Co-supervisor: Dr Antonia Marcu To trust Deep Learning models in sensitive applications such as autonomous vehicles or healthcare, we need to better understand which information they rely … Read More Read More
Categories:
The evolution of written symbolic communication: The autonomous development of visual symbolic systems in artificial agents
The evolution of written symbolic communication: The autonomous development of visual symbolic systems in artificial agents
About the Project Supervisory team: Dr Jonathon Hare, Dr Daniela Mihai Studying written communication protocols emergent between artificial agents (e.g. modelled through Deep Neural Networks) provides fundamental insights into how … Read More Read More
Categories:
The semiring of partial transformations: an algebraic and algorithmic approach to modularity
The semiring of partial transformations: an algebraic and algorithmic approach to modularity
About the Project This project will aim to design algorithms to efficiently solve equations in the semiring of partial transformations. This is a theoretical project in an area that combines … Read More Read More
Categories:
Frankenstein's Algorithmic Lightning: AI methods for defibrillation
Frankenstein's Algorithmic Lightning: AI methods for defibrillation
About the Project About this project Fibrillation is the state of a heart in which many electrical waves strongly interact and reduce the efficacy of the heart to pump oxygenated … Read More Read More
Categories:
Algorithmic aspects of phylogenetic trees and networks
Algorithmic aspects of phylogenetic trees and networks
About the Project The Project: this is an open call for phd students wishing to work in the area of algorithms, complexity and combinatorics related to phylogenetics. The specific topic … Read More Read More
Categories:
Graph Colouring
Graph Colouring
About the Project Most optimization problems defined on graphs are computationally hard in general. This holds for the Graph Colouring problem, the problem of assigning a unique colour to each … Read More Read More
Categories:
Next-generation statistical models of rivers and transport phenomena for the water industry
Next-generation statistical models of rivers and transport phenomena for the water industry
About the Project This project is offered by the EPSRC Centre for Doctoral Training in Statistical Applied Mathematics ( SAMBa ), for study commencing in September 2025. Overview of the … Read More Read More
Categories:
Proof-theoretic semantics for non-classical and modal logics
Proof-theoretic semantics for non-classical and modal logics
About the Project Proof-theoretic semantics (P-tS) offers a practical foundation for the meaning of logical theories that is grounded inference --- that is, reasoning --- rather than the abstract structures … Read More Read More
Categories: