• London School of Economics and Political Science Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • Carlos III Health Institute Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
University College London Featured PhD Programmes
King’s College London Featured PhD Programmes
King Abdullah University of Science and Technology (KAUST) Featured PhD Programmes
University of Kent Featured PhD Programmes
University of Bristol 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