Assuring Safety and correctness of systems through learning

This project aims to develop techniques for the assurance of the safety and functional correctness of the system with learning-enabled components, whose behaviour is driven by knowledge acquired through a learning process. To achieve assurance, we will study property-aware learning techniques, by incorporating constraints in the processes of e.g., constructing the learning model, training, or continuous monitoring of the model’s execution, etc. The constraints can express desired properties of the resulting learning-enabled component including e.g., safety critical properties, security properties, ethical norms, etc. It is expected that such techniques can not only produce assured systems but also enhance the trustworthiness of the learning techniques.

When applying please ensure you Quote the supervisor & project title you wish to apply for when asked for details of how plan to finance your studies.

For Academic Enquiries please contact Dr Xiaowei Huang ([Email Address Removed] )
For enquires on the application process or to find out more about the programme please contact [Email Address Removed]

To apply for this opportunity, please visit: https://www.liverpool.ac.uk/study/postgraduate-research/how-to-apply/