Coventry University Featured PhD Programmes
University of Bristol Featured PhD Programmes
University of Reading Featured PhD Programmes

The University of Manchester Computer Science & IT PhD Projects, Programs & Scholarships

We have 21 The University of Manchester Computer Science & IT PhD Projects, Programs & Scholarships

Discipline

Discipline

All disciplines

Location

Location

All locations

Institution

Institution

The University of Manchester

PhD Type

PhD Type

All PhD Types

Funding

Funding

All Funding


We have 21 The University of Manchester Computer Science & IT PhD Projects, Programs & Scholarships

Computational Logic: Adventures with the Fluted Fragment

Many problems in computational logic reduce to the satisfiability problem. given a formula of some logic, determine whether that formula is satisfiable (i.e., represents a logically possible situation). Read more

Security and privacy in IoT systems

Internet of Things (IoT) systems have entered our everyday life in various application scenarios. They range from personalised health care utilising data from users' wearable devices to smart manufacturing deploying data from all types of smart sensors embedded within the manufacturing processes. Read more

Generating explainable answers to fact verification questions

Online platforms such as social media and news sites have recently become vehicles for widespread misinformation, making it challenging for users to distinguish facts from hearsay. Read more

Problems in large graphs representing social networks

A number of interesting problems nowadays can be modelled by large graphs. For example, web links constitute a graph (google and the pagerank algorithm exploit properties of this graph), also facebook friendships, paper citation patterns and many more. Read more

Event Coreference at Document Level

Event extraction methods are used to encapsulate n-ary relationships between a number of concepts. Recently, neural network-based methods have been proposed to capture events, their arguments and context (Nguyen and Nguyen, 2019; Trieu et al., 2020) at sentence level. Read more

Abstractive Multi-Document Summarisation

Systematic reviews provide a robust approach to the comprehensive identification of relevant sources of evidence used by Health Technology Assessment agencies such as the National Institute for Health and Care Excellence. Read more

Filtering Results