• University of Glasgow Featured PhD Programmes
  • University College London Featured PhD Programmes
  • FindA University Ltd Featured PhD Programmes
  • University of Manchester Featured PhD Programmes
  • Heriot-Watt University Featured PhD Programmes
  • University of Birmingham Featured PhD Programmes
  • UNSW Australia Featured PhD Programmes
UNSW Australia Featured PhD Programmes
FindA University Ltd Featured PhD Programmes
University of Southampton Featured PhD Programmes
EPSRC Featured PhD Programmes
Technische Universität Dresden Featured PhD Programmes

Formal Methods: Formal Techniques for Hybrid and Cyber Physical 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 R Banach
  • 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 ([email protected]) 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: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/school-studentships/.

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