FindA University Ltd Featured PhD Programmes
Ulster University Featured PhD Programmes
University of Kent Featured PhD Programmes
Monash University Featured PhD Programmes
University of Glasgow Featured PhD Programmes

Identifying string logics for query languages

Project Description

Loughborough University is a top-ten rated university in England for research intensity (REF2014). In choosing Loughborough for your research, you’ll work alongside academics who are leaders in their field. You will benefit from comprehensive support and guidance from our Doctoral College, including tailored careers advice, to help you succeed in your research and future career.

Find out more:
Further information on the Department of Computer Science may be found at:

Full Project Detail

Recent research has discovered close connections between existential string logics that are based on word equations on the one side, and query languages for graphs and texts on the other. For each of these models, standard questions are hard to answer: Evaluation is usually at least NP-hard, and static analysis problems are PSPACE-hard or undecidable.

This project aims to identify string logics for which these problems become tractable, and to apply these results to query languages and texts and graphs. Hence, the project combines fundamental research in the intersection of finite model theory, combinatorics on words, and their application to database theory.

Find out more

Entry requirements

Applicants should have, or expect to achieve, at least a 2:1 Honours degree (or equivalent) in a related subject and should have good background and understanding in mathematics, logic, algorithms, or formal language theory.

How to apply

All applications should be made online at Under programme name, select Computer Science.

Please quote reference number: DF/CO/2019.

Funding Notes

This studentship will be awarded on a competitive basis to applicants who have applied to this project and/or any of the advertised projects prioritised for funding by the School of Science.

The 3-year studentship provides a tax-free stipend of £14,777 (2018 rate) per annum (in line with the standard research council rates) for the duration of the studentship plus tuition fees at the UK/EU rate. International (non-EU) students may apply however the total value of the studentship will be used towards the cost of the International tuition fee in the first instance.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully

FindAPhD. Copyright 2005-2019
All rights reserved.