Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

  Opacity of real-time systems: Verification and enforcement

   Faculty of Engineering and Physical Sciences

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  Dr Kuize Zhang  No more applications being accepted  Funded PhD Project (Students Worldwide)

About the Project

Opacity is a confidentiality property which means if a partially-observed system can prevent its visit to secrets from being leaked to an external intruder. This property has been widely used to describe diverse scenarios in cyber-security/privacy problems, and its theoretical problems in untimed systems have been thoroughly investigated in the past two decades. This project will explore the opacity verification and enforcement problems in real-time systems, in order to enrich the theoretical and applicable studies in this area.

Studentship group name

Surrey Institute for People-Centred AI


School of Computing and Electrical Engineering

Research group(s)

Nature Inspired Computing and Engineering Research Group

How to Apply

Applications should be submitted via the Computer Science PhD programme page. In place of a research proposal you should upload a document stating the title of the projects (up to 2) that you wish to apply for and the name(s) of the relevant supervisor. You must upload your full CV and any transcripts of previous academic qualifications. You should enter ’Faculty Funded Competition’ under funding type.


The studentship will provide a stipend at UKRI rates (currently £17,668 for 2022/23) and tuition fees for 3.5 years. An additional bursary of £1700 per annum for the duration of the studentship will be offered to exceptional candidates.

Computer Science (8)

 About the Project