Speaker:
Professor Dame Muffy Calder, University of Glasgow
Bio:
Muffy Calder is a computer scientist and Professor of Formal Methods at the University of Glasgow. Until recently she was Vice-Principal and Head of College of Science and Engineering and before that she was the Chief Scientific Adviser for Scotland. Her research is in modelling and automated reasoning for complex, sensor-driven systems; responsible AI; and privacy and national security.
Topic:
Date:
19 March 2025
Time:
7:30pm – 9:00pm
Add to your calendar
19 March 2025 19:30
19 March 2025 21:00
Europe/London
Lecture: Professor Dame Muffy Calder, University of Glasgow
Summary
Computational modelling uses mathematics and logics to represent and reason about systems. Traditionally, these have been systems we want to design and build. But I am more interested in systems that are in use – but we don’t understand, or at least didn’t anticipate, some of their behaviours. With the aid of three examples: a radiotherapy machine, a mixed-reality game, and a mobile phone app, I will illustrate how models can help us understand what has gone wrong, and why. And of course, I hope to convince you that that modelling is interesting and useful.
