Seminar series

Welcome to the Trustworthy Systems Lab Seminar Series!

Here you can find all the upcoming and previous seminars in the series. The focus of the seminars is on promoting discussion and debate around the topic of Trustworthiness. 

The format of the talks are 20-30 mins of presentation and 30 mins for discussion and questions. We usually hold these weekly on a Wednesday lunchtime at midday (12:00). This is an open group so please share widely and get in contact if you wish to observe, join the debate or give a presentation.

Please contact us to be added to the mailing list where you will be sent an invitation to the talks each week along with an update of the next talks.

Details of upcoming talks and speakers can be found below.

 

25th March 2026 - Learning Temporal Specifications from Examples of System Behaviour

Formal verification is a well-established method for certifying system correctness through rigorous mathematical analysis. These techniques require requirements to be precisely defined in formal specification languages. However, manual writing specifications is often tedious and prone to error. In this talk, we will see how we can mitigate this by automatically learning formal specifications—in widely used formalisms for describing temporal properties—from examples of system behavior. We discuss how this problem must be adapted to practical settings, where data may be noisy, negative examples may be unavailable, and observations may be uncertain. We present symbolic learning algorithms based on constraint optimization and discuss the rigorous guarantees that can be given with these methods. Finally, we outline how specification learning can be integrated with frameworks such as statistical verification, runtime monitoring and AI planning.
Dr Rajarshi Roy
Rajarshi Roy is a postdoctoral researcher at the University of Liverpool working at the intersection of Formal Methods and Artificial Intelligence. His research focuses on neuro-symbolic methods for logical reasoning and the rigorous analysis of complex systems. He received his PhD from the Max Planck Institute for Software Systems and has held a postdoctoral research position at the University of Oxford.