• University College London Featured PhD Programmes
  • University of Southampton Featured PhD Programmes
  • King Abdullah University of Science and Technology (KAUST) Featured PhD Programmes
  • University of Manchester Featured PhD Programmes
  • University of Birmingham Featured PhD Programmes
  • Heriot-Watt University Featured PhD Programmes
  • FindA University Ltd Featured PhD Programmes
University of Strathclyde Featured PhD Programmes
Queen Mary University of London Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
Imperial College London Featured PhD Programmes
University of Bristol Featured PhD Programmes

Mathematical models for concurrent systems

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

We have a reasonable understanding of models for sequential programs, although there are many open questions regarding whether established models can be simplified mathematically. When it comes to processes that may act concurrently on the same machine we have much less of a grasp on what is required for a mathematical model. The aim of this project is to explore one such model in some depth. If at all possible this should be done in such a way as to allow one to derive some general properties of suitable models. The main obstacle to be overcome will be to find a suitable universe of mathematical structures that allow the expression of at least some of the main features of concurrent processes.

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/

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