String logics for query languages PhD

Computer Science
Entry requirements:
3 years
not available
Reference number:
Start date:
01 October 2018
Is funding available?
UK/EU fees:
International fees:
Application deadline:
16 February 2018



in the UK for Computer Science

Guardian University Guide 2018

Top 20

in the UK for Computer Science

The Complete University Guide 2018


of research impact rated 'internationally recognised' or higher


Loughborough University is a top-ten rated university in England for research intensity (REF2014) and an outstanding 66% of the work of Loughborough’s academic staff who were eligible to be submitted to the REF was judged as ‘world-leading’ or ‘internationally excellent’, compared to a national average figure of 43%.

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. 

Project detail

Recent literature has established close connections between existential string logics (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 (in particular document spanners and variants of ECRPQs). Hence, the project combines fundamental research in the intersection of logic and combinatorics on words with its application to database theory.


Primary supervisor: Dr Dominik D. Freydenberger

Find out more

For further project details email Dr Dominik D. Freydenberger or register your interest and ask us a question.

To find out more about postgraduate research in the School of Science please visit our website.

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 a good background and understanding in mathematics, logic, algorithms, or formal language theory.

Applicants must meet the minimum English Language requirements, details available on the website.

Fees and funding


Tuition fees cover the cost of your teaching, assessment and operating University facilities such as the library, IT equipment and other support services. University fees and charges can be paid in advance and there are several methods of payment, including online payments and payment by instalment. Special arrangements are made for payments by part-time students.

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,553 (2017 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.

How to apply

All applications should be made online. Under programme name, please select ‘Computer Science’.

Please quote reference number: DF/CO/2018

Application details

Reference number: DF/CO/2018
Application deadline: 16 February 2018
Start date: 01 October 2018