30+ years of modelling Computer 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.
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. She is also a member of the Prime Minister’s Council for Science and Technology, UKRI-EPSRC Council and REF 2021 Main Panel B, chair of DCMS Science Advisory Council, and chair of the BCS School Curriculum and Assessment Committee