Muffy Calder

DBE OBE FREng FRSE FBCS

University of Glasgow email:muffy.calder@glasgow.ac.uk

Research in computational modelling and automated reasoning for concurrent, communicating systems; sensor-based systems; privacy intrusion and national security; responsible AI for policing.

Senior Visiting Fellow at CETaS (Centre for Emerging Techology and Security). Trustee of Academy of Mathematical Sciences.

RSE Women in Science Online Portrait

Selected Recent Publications


Practical Modelling with Bigraphs, Formal Aspects of Computing, 2025.


AI Proportionality Assessment Aid, IPCO Technology Advisory Panel, 2025.


Privacy Intrusion and National Security in the Age of AI: assessing proportionality of automated analytics, CETaS Research Reports, Alan Turing Institute, 2023.

 

Structured Framework for Assessing Proportionality of Privacy Intrusion of Automated Analytics, CETaS Research Reports, Alan Turing Institute, 2023.

 

Quantitative Modelling and Analysis of BDI Agents, Software and Systems Modeling, 2023.

 

 

Probabilistic Bigraphs, Formal Aspects of Computing, Vol. 34, Issue 2, ACM, 2022. DOI

Previous roles: Vice-Principal and Head of College of Science and Engineering, University of Glasgow, Member of Prime Minister's Council for Science and Technology, Royal Society Leverhulme Research Senior Fellowship, Royal Society Wolfson Merit Research Award, Suffrage Science award in Computing Science and Mathematics, Chief Scientific Adviser for Scotland (Scottish Government), co-Chair of EU FET Science Advisory Group, chair of BCS School Curriculum and Assessment Committee, deputy chair REF 2021 Main Panel B, member of UKRI-EPSRC Council.

Links

Current/Recent Research Projects

Muffy Calder