| Paul Rauwolf |
Marina De Vos |
The Utility of Self-Deception and Inaccurate Information |
Researching the contexts in which self-deception and other inaccurate perceptual biases outperform accuracy. |
| Anupam Das |
Alessio Guglielmi |
The complexity of proofs in deep inference systems |
My research examines the size of proofs in propositional logic when inference rules are allowed to operate on any subformula. |
| Cai Wingfield |
John Power |
A graphical foundation for schedules |
Cai combines category theoretic techniques with geometry to give powerful new foundations for the game semantics of programming languages. |
| Fatemeh Jahedpari |
Marina De Vos |
Syndromic Surveillance |
Investigating a novel technique by fusing available data sources to detect an outbreak within a community at earliest possible moment. |
| Rui Tang |
Darren Cosker |
High Detail 3D Capture and Interpretation of Facial Signals |
The aim of this work is to learn and extract meaningful facial signals from dynamic 3D data both for recognition and animation |
| Wenbin Li |
Darren Cosker |
Non-Rigid Surface Tracking |
The aim of this work is to develop algorithms for dense tracking in difficult conditions, i.e. given non-rigid deformation. |
| Han Gong |
Darren Cosker |
Shadow Removal from Static and Temporal Scenes |
The aim of this work is to develop algorithms for removing shadows in images and video. |
| Zohreh Shams |
Marina De Vos |
Argumentation in Normative Multi-Agent Systems |
I use argumentation as a conflict-resolution approach in multi-agent systems that are governed by norms. |
| Saeid Pourroostaei Ardakani |
Marina De Vos |
"Data aggregation in wireless sensor networks using Mobile Agents" |
"Proposing a reactive data-aware routing protocol for mobile agent to migrate across the network with lowest energy consumption and latencies to collect and aggregate most possible sensory data which are interesting for the consumer’s queries." |
| Andrew Watson |
Julian Padget |
Collaborative Detection of Anomalous Behaviour in Distributed Systems |
Working towards a system capable of protecting itself from attack, with agents collaborating to identify new threats as they emerge. |
| Tingting Li |
Julian Padget |
Normative Conflict Detection and Resolution in Composite Institutions |
1) modelling and analysis of composite institutions; 2)automatic detection of norm conflicts; 3) and automatic conflict resolution via inductive logic programming. |
| David Wilson |
James Davenport |
Advances in Cylindrical Algebraic Decomposition |
"Improving algorithms that compute decompositions of space according to systems of polynomials." |
| Ieuan Evans |
James Davenport |
Vision and Learning applied to Mathematical Formulae |
My research focuses on the digitisation of mathematical text capturing both layout and semantic meaning via machine learning methods. |
| Nick Westlake |
Matthew Brown |
Visual Object Recognition |
Nick is investigating the role of uncertainty and signal statistics in low-level visual recognition. |
| Daniel Gooch |
Leon Watts |
Investigating the design properties of interactive communication technologies for supporting social presence and closeness in long-distance relationships |
|
| Jekaterina Novikova |
Leon Watts |
Mapping the key parameters of human collaboration into a coherent framework for reasoning about human-robot joint action |
|
| James Dove |
Leon Watts |
A grounded theory of supportive action in online mental health communities from qualitative and quantitative analysis of messaging activity |
|
| Andrew Chinery |
Peter Hall |
Modelling Fire from Video. |
Computer Graphics simulations of fire are hard to build and use; acquiring editable 3D dynamic models directly from video is one route to a solution. |
| Qi Wu |
Peter Hall |
Recognising objects in photographs and artwork. |
Computer Vision is now highly skilled at learning to recognise objects in photographs, but is less successful when artworks are included in the image set. This project addresses that problem. |
| Dominic Mitchell |
Joanna Bryson |
"A public language perspective on cultural evolution " |
|
| Chris Lewin |
Phil Willis |
Physical Animation in Videogames |
My work aims to make physical animation techniques stable and fast enough for ubiquitous use in games. |
| Bidan Huang |
Joanna Bryson |
"Learning in a modular robot architecture " |
|
| Swen Gaudl |
Joanna Bryson |
"Evolutionary learning and AI character game design " |
|
| Daniel Taylor |
Joanna Bryson |
Cultural Evolution |
|
| Yifei Wang |
Joanna Bryson |
Exploiting biological innovations in immunity |
|
| Gideon Gluckman |
Joanna Bryson |
"How social structure affects information discovery " |
|
| Elliot Matthew |
Eamonn O'Neill |
Heritage Vista |
A novel infrastructure to support new visitor experiences at the National Trust |
| Dimitrios Traskas |
Julian Padget |
Autonomic Business Processes |
he key objective of this research is the development of an automated planning language that will allow senior management to coordinate critical business processes in an autonomous manner. |
| Mesar Hameed |
Nicolai Vorobjov |
Complexity lower bounds for algebraic computation trees. |
The main goal is to generalize the lower complexity bounds due to Yao, Montana-Morais-Pardo and others to the problem of membership of not necessarily compact semialgebraic sets. |
| JeeHang Lee |
Julian Padget |
Norms and Institutions in Multi-agent Systems |
|
| Gidon Bibu |
Julian Padget |
A normative approach to security requirements analysis |
Using normative approach, this project aims at providing a means for doing formal analysis of information security requirements using Answer Set Programming. |
| Laura J Benton |
Hilary Johnson |
Participatory Design and Autism: Supporting the participation, contribution and collaboration of children with ASD during the technology design process |
This thesis develops a new approach to participatory design specifically developed to improve the involvement of children on the ASD spectrum in the creative design process. |
