Research Topics

To find a potential supervisor consult our list of research topics. Click on the name of the academic to find out more about their current research.

Accessibility and Inclusive Design

Professor Helen Petrie, Dr Chris Power

Agile software development

Professor Richard Paige, Professor John McDermid

Artificial intelligence

Dr James Cussens, Dr Dimitar Kazakov, Dr Daniel Kudenko, Dr Suresh Manandhar, Professor Peter CowlingDr Simon O’Keefe

Autonomous and self-adaptive systems

Dr Radu Calinescu, Dr Rob Alexander, Professor Neil AudsleyProfessor Ana CavalcantiDr Daniel KudenkoDr Simon O’Keefe, Dr Ian Gray

Bayesian techniques for analysis and search

Dr James Cussens

Cloud computing

Dr Radu Calinescu, Professor Jim Austin, Professor Richard Paige

Computer architectures

Professor Jim Austin, Dr Chris Bailey, Professor Neil AudsleyDr Ian Gray

Computer Graphics

Dr Will Smith

Computer Vision and Image Processing 

Professor Richard WilsonDr Will SmithDr Adrian BorsDr Nick Pears


Dr Vasileios Vasilakis, Dr Siamak Shahandashti, Professor John McDermid, Professor Tim KellyDr Jeremy JacobDr Radu Calinescu

Cyber Physical Systems 

Professor Alan BurnsProfessor Neil AudsleyDr Leandro IndrusiakDr Iain BateProfessor Ana CavalcantiDr Rob DavisProfessor Tim KellyDr Ian Gray

Data analytics

Professor Peter Cowling, Dr Anders Drachen, Professor Dimitris Kolovos, Dr Suresh ManandharProfessor Richard PaigeDr Chris BaileyDr Daniel KudenkoDr Chris PowerDr Simon O’Keefe

Digital heritage

Dr Chris PowerProfessor Helen Petrie

Embedded systems

Professor Neil Audsley, Dr Leandro IndrusiakDr Chris BaileyDr Ian Gray

Enterprise systems: managing and developing large scale, complex IT systems

Professor Richard Paige, Professor Dimitris KolovosDr Radu Calinescu

Evolutionary computation

Dr Dan Franks, Professor Susan Stepney, Professor Richard Paige, Dr Rob Alexander

Formal specification languages, methods and tools

Professor Ana Cavalcanti, Professor Jim Woodcock, Dr Jeremy Jacob, Dr Detlef PlumpDr Radu Calinescu 

Games and gamification

Professor Peter Cowling, Dr Daniel Kudenko, Dr Paul CairnsDr Chris Power, Dr Jo Iacovides

Health informatics and medical devices

Dr Ibrahim Habli, Professor Tim Kelly, Dr Paul CairnsProfessor Richard PaigeDr Chris BaileyDr Iain BateDr Jo Iacovides

Machine learning

Dr James Cussens, Dr Dimitar KazakovDr Daniel KudenkoDr Simon O’KeefeDr Nick Pears

Automated and Model-Driven Software Engineering

Professor Richard Paige, Professor Dimitris Kolovos, Dr Radu CalinescuDr Paul CairnsDr Ian Gray

Natural language processing

Dr Suresh ManandharDr Dimitar Kazakov

Neural networks

Dr Simon O’KeefeProfessor Jim Austin

Programming Languages and Systems

Dr Detlef Plump

Quantum information processing

Professor Sam Braunstein, Professor Stefano Pirandola

Real time languages and systems

Professor Alan Burns, Professor Neil AudsleyProfessor Ana CavalcantiDr Leandro Indrusiak, Dr Iain Bate, Dr Rob DavisDr Ian Gray

Safety analysis, system safety

Professor Tim Kelly, Dr Ibrahim Habli, Dr Rob Alexander, Dr Mark NicholsonProfessor John McDermidDr Iain Bate

Safety of autonomous and self-adaptive systems

Dr Radu Calinescu, Dr Rob Alexander, Professor Ana CavalcantiProfessor John McDermid, Professor Tim KellyDr Ibrahim HabliDr Iain Bate

Simulating complex systems

Professor Susan StepneyDr Dan Franks

Software engineering

Professor Richard Paige, Professor Ana CavalcantiProfessor Dimitris Kolovos, Professor John McDermid, Dr Rob Alexander, Dr Radu Calinescu, Professor Tim KellyDr Ibrahim Habli

Software testing

Dr Rob AlexanderProfessor Richard Paige

Usability and User Experience

Dr Chris Power, Professor Helen Petrie, Dr Paul CairnsDr Jo Iacovides

Wireless Sensor Networks and Internet of Things

Dr Iain BateDr Chris Bailey