Self-funded PhD projects

To be considered for postgraduate study you need to submit a formal application  read our guidance and instructions on how to do this.

The University offers several funding schemes across all departments. Read about funding for international students or funding for UK/EU students.

The following PhD projects are available for applicants who can fund their own studies.

Supervisor(s)Project title Research area
Rob Alexander Tractable situation coverage for autonomous cars Autonomous and self-adaptive systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software testing
Rob Alexander Mutation testing for simulated autonomous vehicles Automated and Model-Driven Software Engineering;
Autonomous and self-adaptive systems;
Cyber Physical Systems;
Safety of autonomous and self-adaptive systems;
Software engineering;
Software testing 
Rob Alexander A testbed simulator for autonomous vehicle testing methods  Autonomous and self-adaptive systems;
Cyber Physical Systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software testing 
Adrian Bors Human Interaction Recognition from Video Streams Computer Vision and Image Processing; 
Machine learning; 
Neural networks 

Radu Calinescu

Ibrahim Habli

Synthesis and Verification of Dynamic Assurance Cases for Self-Adaptive Systems  Automated and Model-Driven Software Engineering;
Autonomous and self-adaptive systems;
Safety analysis, system safety;
Safety of autonomous and self-adaptive systems;
Software engineering
 
Ana Cavalcanti Static verification of robotic simulations  Autonomous and self-adaptive systems;
Cyber Physical Systems;
Formal specification languages, methods and tools;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Software engineering
 
Ana Cavalcanti Model-based engineering in swarm robotics Autonomous and self-adaptive systems;
Cyber Physical Systems;
Formal specification languages, methods and tools;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Software engineering
Daniel Franks

Using machine learning and data loggers to detect social behaviour in animals (PDF  , 671kb) Data science;
Evolutionary computation;
Machine learning
Daniel Franks Deep-learning computer vision for tracking animals with UAVs/drones (PDF  , 35kb) Deep learning;
Machine learning;
Computer vision
Nick Pears

Will Smith

 3D Shape Modelling of the Human Head Computer Vision and Image Processing; 
Machine learning
Christopher Power Uncertainty in Digital Games Games and gamification;
Usability and User Experience
Christopher Power  Situational Awareness in Autonomous Vehicles  Autonomous and self-adaptive systems;
Safety analysis, system safety;
Usability and User Experience
Christopher Power Sensemaking in Information Seeking  Data analytics;
Digital heritage;
Usability and User Experience
 
Christopher Power  Problem Solving in Data Analytics Applications  Data analytics;
Usability and User Experience

Christopher Power 

Paul Cairns

Positive Impacts of Gaming on Well-being Accessibility and Inclusive Design;
Games and gamification;
Usability and User Experience

Christopher Power 

Mark Eramian (University of Saskatchewan)

Influence of User Behaviour on Image Segmentation Applications Computer Vision and Image Processing;
Data analytics;
Usability and User Experience
 
Leandro Soares Indrusiak Reliable Real-Time Wireless Networking for Fractionated Autonomous Systems

Autonomous and self-adaptive systems;
Cyber Physical Systems;
Embedded systems;
Real time languages and systems;
Safety of autonomous and self-adaptive systems; Simulating complex systems;
Wireless Sensor Networks and Internet of Things

Leandro Soares Indrusiak Design and Optimisation of IoT Systems (Internet of Things) - Adaptive Load Balancing

Autonomous and self-adaptive systems; 
Cyber Physical Systems; 
Embedded systems; 
Automated and Model-Driven Software Engineering;
Real time languages and systems; 
Wireless Sensor Networks and Internet of Things

Leandro Soares Indrusiak Multiprocessor platforms for real-time and embedded systems - Security in Network-on-Chip Interconnects

Autonomous and self-adaptive systems; 
Computer architectures; 
Cyber Physical Systems; 
Embedded systems; 
Evolutionary computation;
Real time languages and systems

Susan Stepney

Richard Walsh (English and Related Literature)

Generative Narratives for Complex Systems Complex systems;
Unconventional computing
Richard Wilson  Quantum Algorithms for Computer Vision Computer Vision and Image Processing;
Quantum information processing
 

 

Supervisor(s)Project title (details linked)Research areas
Detlef Plump

Refinement of Graph Programs: From Specifications to Fast Code

Formal specification languages, methods and tools;
Programming Languages and Systems;
Software engineering
Detlef Plump

Automatically Analysing Graph Programs for Termination and Complexity

Complex systems;
Formal specification languages, methods and tools;
Programming Languages and Systems;
Safety analysis, system safety;
Software engineering
Detlef Plump

Generating Graphs Uniformly at Random in User-Specified Domains

Complex systems;
Formal specification languages, methods and tools;
Programming Languages and Systems;
Software engineering;
Software testing

Radu Calinescu

Adrian Bors

Autonomous Multi-Camera Monitoring Systems 

Autonomous and self-adaptive systems;
Computer Vision and Image Processing; 
Automated and Model-Driven Software Engineering;
Safety of autonomous and self-adaptive systems;
Software engineering

Richard Wilson 

Anders Drachen

Social Interactions in Online Games

Data analytics;
Games and gamification;
Machine learning

Paul Cairns Understanding player experience in digital games

Games and gamification;
Usability and User Experience

Paul Cairns Errors in interactions Health informatics and medical devices;
Usability and User Experience 
Leandro Soares Indrusiak Application-aware resource management in multiprocessor, high-performance and cloud computing Cloud computing;
Computer architectures;
Cyber Physical Systems;
Embedded systems;
Evolutionary computation;
Real time languages and systems

Simon O'Keefe

Emergent Memory In Swarm  Artificial intelligence;
Autonomous and self-adaptive systems;
Neural networks