• University of Leeds Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • Carlos III Health Institute Featured PhD Programmes
  • London School of Economics and Political Science Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
University of York Featured PhD Programmes
Imperial College London Featured PhD Programmes
University of Leeds Featured PhD Programmes
EPSRC Featured PhD Programmes
University of Manchester Featured PhD Programmes

Formal Methods: Formal Techniques and Retrenchment

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

These days, the benefits of having a formal perspective in a development methodology are increasingly recognised. Up to now most formal approaches focus on some aspect of *compliance*, e.g., the compliance of an implementation to an abstraction (during development), or the compliance of an abstraction in reflecting suitable properties of a concrete model (during property checking). But many real world development activities involve changes to the system models used, that *go beyond* such compliance notions. Retrenchment seeks to bring a degree of rigour to such activities that are comparable to that achievable during compliance based activities. See http://www.cs.man.ac.uk/retrenchment for more details.

Interested individuals should contact Dr. Richard Banach () in the first instance.

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: View Website.

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

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.
Email Sent

Share this page:

Cookie Policy    X