FMAS 2023 | Prof. Alice Miller - Formal methods within the TAS Governance node

Описание: This is a recording of an invited talk at the Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023). [Apologies for the quality of the recording due to issues with WiFi connection on the day of the talk.]

FMAS brings together researchers working on a range of techniques for the formal verification of autonomous systems. Details of FMAS 2023, including the link to the workshop proceedings can be found at: https://fmasworkshop.github.io/FMAS2023/

Abstract: The TAS Governance Node part of the £33M Trustworthy Autonomous Systems Programme funded by the UKRI Strategic Priorities Fund. The aim of the node is to explore how to make autonomous systems aware of — and responsive to — changing regulations. Led by the University of Edinburgh, it brings together researchers from the universities of Edinburgh, Glasgow, Nottingham, Heriot-Watt, Sussex, and Kings College London; as well as multiple industrial partners. In this talk I will highlight some of the activities within the node, focussing on those that use Formal Methods. These include:

an automatic theory repair system for a legal responsibility framework for autonomous vehicles,
accident anticipation through reasoned simulation,
robot planning using in-situ model checking; and,
(formal aspects of) a node-wide automotive case study investigation.


Biography: Prof. Alice Miller is a Professor of Computing Science who has worked in Glasgow’s School of Computing Science since 1997, as a Post doc, Daphne Jackson Fellow, Lecturer and Senior Lecturer. Before that she worked in the Universities of East Anglia, Western Australia and Stirling. Her PhD is in Number Theory, but she has worked in Formal Verification for most of her research career. Essentially, Formal Verification uses mathematical techniques to try to prove things about systems - in particular to try to reduce hard problems to tractable ones. She is a member of the London Mathematical Society and the IET, and is a Chartered Engineer.