Professor Dame Muffy Calder BSc PhD FRSE FREng
Professor Dame Muffy Calder will be awarded DSc on Wednesday 12 June 2024 during the afternoon graduation ceremony.
Professor Dame Muffy Calder is Vice-Principal, Head of College for Science and Engineering, and Professor of Formal Methods at Glasgow University. She joined the University of Glasgow in 1988 and became Dean of Research in the College of Science and Engineering before taking the role of Vice-Principal in 2015.

Professor Calder holds a BSc in computer science from the University of Stirling and completed her PhD in computational science at the University of St Andrews in 1987 under the supervision of the late Roy Dyckhoff. She has published widely in the field of computational modelling and automated reasoning for concurrent, communicating systems.
Professor Calder’s scholarly contributions are underscored by her seminal overview on the feature interaction problem, a work of considerable influence evidenced by its citation count of more than 300 on Google Scholar.
She is a member of the Prime Minister’s Council for Science and Technology, the UKRI-EPSRC Council and REF 2021 Main Panel B, Chair of the DCMS Science Advisory Council, and Chair of the BCS School Curriculum and Assessment Committee.
Professor Calder holds fellowships of the Royal Society of Edinburgh, the British Computer Society, the Institution of Electrical Engineers, and the Royal Academy of Engineering and, in 2012, was recognised in the list of Most Influential Women in Scotland.
From 2012 to 2015 she served as Chief Scientific Adviser for Scotland. She was appointed Order of the British Empire (OBE) in the 2011 New Year Honours for services to computer science and Dame Commander of the Order of the British Empire (DBE) in the 2020 Birthday Honours for services to research and education.