Informatics Annual Lecture: 30+ years modelling communicating systems

Professor Dame Muffy Calder published her first paper on modelling telecoms protocols in 1989. Since then, the applications and techniques she has developed and used have changed radically over time, as has she. Drawing on successes over the last 30 years, she will reflect on how her research has evolved, what she has learned, and key challenges and issues we might think about in the future.

Muffy Calder is the Vice-Principal and Head of College of Science and Engineering and a Professor of Formal Methods at the University of Glasgow. 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 the Principal Investigator of the EPSRC Programme Grant: Science of Sensor System Software. 

She is 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. 

Previously, she was Chief Scientific Adviser for Scotland. Before that she was Dean for Research in the College of Science and Engineering and held various positions including Head of Department, chair of UKCRC (UK Computing Research Committee), Senate Assessor on University of Glasgow Court, member of EPSRC TOP (Technical Opportunities Panel) and co-chair of the Scottish Science Advisory Council.  She is a Fellow of the Royal Academy of Engineering, the Royal Society of Edinburgh, and the British Computer Society. She was awarded an OBE in 2011 and a DBE in 2020. 

Source: https://www.gla.ac.uk/schools/computing/staff/muffycalder/#biography 

About the Informatics Annual Lecture

Established in 2024, the Department of Informatics flagship event provides a platform for distinguished academics in the field of computer science, AI and data science to showcase their groundbreaking contributions that are inspiring the future of technology and innovation. 

Disclaimer: For in-person events we operate a policy of overbooking, given drop-out rates. Please ensure you arrive in good time to avoid disappointment on the day.

Livestream:

• This event will be livestreamed from 15:30 to 18:40 and a recording will be shared on the NMES Faculty YouTube channel.

• You will receive the livestream link closer to the event.

Photography and videography: The event you will be attending will have photography and videography. If you do not wish to appear in any recordings or photographs, please approach our registration team on the day of the event or email [email protected] before the event. Photographs and recordings taken may feature in our publications or on the King’s website and social media channels. All personal data will be processed in accordance with King’s privacy policy available on request or at .

Privacy notice:

We collect and process your personal information to help us manage and run the event. In accordance with the King’s College London Data Retention Schedule, we will keep your information until the completion of the event. To find out more about how the university deals with your personal information, including your rights, please see the . Your personal information will be transferred to the United States via Eventbrite. Please read the where you can find out more on how Eventbrite protects your data.

Host or Publisher Natural, Mathematical & Engineering Sciences