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 systems, and the results are encoded as programs. These programs allow us to explore properties and behaviours of systems we want to design and build, and also those that are in use, but we don’t understand some of their behaviours. With the aid of three examples, I will illustrate how models can help us understand what has gone wrong, and why. And of course, why modelling is interesting and useful.
