• University of Birmingham Featured PhD Programmes
  • University of Nottingham Featured PhD Programmes
  • Ross University School of Veterinary Medicine Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University College London Featured PhD Programmes
  • Brunel University London Featured PhD Programmes
  • University of Warwick Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
University of Birmingham Featured PhD Programmes
Cranfield University Featured PhD Programmes
King’s College London Featured PhD Programmes
Cardiff University Featured PhD Programmes
University of Bristol Featured PhD Programmes

Categorical proof theory

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Dr A Schalk
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

There is a strong connection between programs and the proofs for certain logics. By finding mathematical models for either of these we increase our understanding of them. Because logical connectives relate closely to constructions in the model it is often mathematically cleaner to consider the former. (Categorical) proof theory is concerned with how proofs may be modelled, and which proofs can be considered equivalent to each other. While there are some logics whose proof theory is well understood these are fairly limited. The aim of this project is to extend what is known to more interesting logics, or to find more adaptable models (based on specific criteria for desirable properties).

Funding Notes

Candidates who have been offered a place for PhD study in the School of Computer Science may be considered for funding by the School. Further details on School funding can be found at: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/school-studentships/.

References

The minimum requirements to get a place in our PhD programme are available from:
http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/apply/entry/

Related Subjects

How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities
Share this page:

Cookie Policy    X