Professor Dame Muffy Calder delivers Inaugural Annual Regius Chair Lecture
Professor Dame Muffy Calder is Vice-Principal and Head of College of Science and Engineering and a Professor of Formal Methods. Her research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques. She has been a Royal Society Leverhulme Research Senior Fellow and held a Royal Society Wolfson Research merit award and a Suffrage Science award in Computing Science and Mathematics.
Abstract
30+ years of modelling communicating systems – what did I learn?
I published my first paper on modelling telecoms protocols in 1989. Since then, the applications and techniques I have considered have changed over time, and so have I. Using six example applications, from 1989 to 2022, I reflect on how my research in theory, models, and tools for communicating systems has evolved, on what I have learned, and some challenges and issues we might think about in the future.