• University of Tasmania Featured PhD Programmes
  • University of Pennsylvania Featured PhD Programmes
  • FindA University Ltd Featured PhD Programmes
  • Staffordshire University Featured PhD Programmes
  • Aberdeen University Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
University of York Featured PhD Programmes
Peter MacCallum Cancer Centre Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
Imperial College London Featured PhD Programmes
University of Reading Featured PhD Programmes

Formal Methods: Formal Techniques for Hybrid and Cyber Physical Systems.

  • 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 world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg. avionics, train control, nuclear plant shutdown, etc. Now the physical world is described using continuous mathematics, while the systems in contact with it are digital, being described using discrete mathematics. These two spheres don’t mix terribly well, and the interface has typically been handled by ad hoc means. There is plenty of scope for applying formal techniques to the development of such systems, that are as rigorous in their treatment of the continuous/discrete transition, as techniques for the treatment of purely discrete systems can be. This strand of research is directed at developing such techniques, and bringing them to greater prominence in the development of hybrid and cyberphysical systems (to use the buzzwords in vogue today). 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.

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

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