Professor Dame Muffy Calder

Vice Principal & Head of College of Science & Engineering (Science & Engineering College Senior Management)
Professor of Formal Methods (Computing Science)

telephone: 01413304462
email: Muffy.Calder@glasgow.ac.uk

Room 310, Level 3, Boyd Orr Building, University Avenue

Personal assistant: Ms Evelyn McDonald
telephone: 01413307486
email: scieng-hoc-pa@glasgow.ac.uk

Biography

I am the Vice-Principal and Head of College of Science and Engineering and a Professor of Formal Methods. My research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques. I have 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. I am Principal Investigator of the EPSRC Programme Grant: Science of Sensor System Software.

I am 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, I was Chief Scientific Adviser for Scotland. Before that I was Dean for Research in the College of Science and Engineering and I 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. I am a Fellow of the Royal Academy of Engineering, the Royal Society of Edinburgh, and the British Computer Society. I was awarded an OBE in 2011 and a DBE in 2020.

Personal website: http://www.dcs.gla.ac.uk/~muffy

Research interests

mathematical modelling and automated reasoning for current, communicating systems
model-checking
process algebras
probabilistic systems
protocols and telecommunications services
biochemical networks and cell signalling
sensor-driven systms
safety-critical systems

Personal website: http://www.dcs.gla.ac.uk/~muffy

Publications

List by: Type | Date

Jump to: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1998

Number of items: 80.

2023

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative Verification and Strategy Synthesis for BDI Agents. In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023, pp. 241-259. ISBN 9783031331695 (doi: 10.1007/978-3-031-33170-1_15)

Janjeva, A., Calder, M. and Oswald, M. (2023) Privacy Intrusion and National Security in the Age of AI: Assessing Proportionality of Automated Analytics. Documentation. The Alan Turning Institute: Centre for Emerging Technology and Security (CETaS).

2022

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, ISBN 1891706543 (doi: 10.18293/SEKE2022-149)

Archibald, B. , Calder, M. and Sevegnani, M. (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

2020

Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6_1)

2019

Andrei, O. , Calder, M. , Chalmers, M. and Morrison, A. (2019) Interpreting Computational Models of Interactive Software Usage. Computational Modeling in Human-Computer Interaction Workshop at the ACM CHI Conference on Human Factors in Computing Systems 2019, Glasgow, UK, 05 May 2019.

Calder, M. and Sevegnani, M. (2019) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 16(1), pp. 174-187. (doi: 10.1109/TDSC.2017.2650901)

2018

Calder, M. , Dobson, S., Fisher, M. and McCann, J. (2018) Making sense of the world: Framing models for trustworthy sensor-driven systems. Computers, 7(4), 62. (doi: 10.3390/computers7040062)

Andrei, O. and Calder, M. (2018) Data-driven modelling and probabilistic analysis of interactive software usage. Journal of Logical and Algebraic Methods in Programming, 100, pp. 195-214. (doi: 10.1016/j.jlamp.2018.07.003)

Calder, M. et al. (2018) Computational modelling for decision-making: where, why, what, who and how. Royal Society Open Science, 5, 172096. (doi: 10.1098/rsos.172096)

Andrei, O. and Calder, M. (2018) Temporal analytics for software usage models. Lecture Notes in Computer Science, 10729, pp. 9-24. (doi: 10.1007/978-3-319-74781-1_1)

Sevegnani, M. , Kabac, M., Calder, M. and McCann, J. A. (2018) Modelling and Verification of Large-Scale Sensor Network Infrastructures. In: 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12-14 Dec 2018, pp. 71-81. ISBN 9781538693414 (doi: 10.1109/ICECCS2018.2018.00016)

2016

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)

Andrei, O. , Calder, M. , Chalmers, M. , Morrison, A. and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi: 10.1007/978-3-319-33693-0_8)

Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi: 10.1145/2882784)

2015

Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi: 10.1016/j.tcs.2015.02.011)

Calder, M. , Gray, P. and Unsworth, C. (2015) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering, (doi: 10.1007/s11334-013-0203-1)

2014

Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi: 10.1007/s00165-012-0270-3)

Calder, M. , Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi: 10.1016/j.scico.2013.08.004)

Andrei, O. , Calder, M. , Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi: 10.1007/978-3-319-10696-0_11)

Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi: 10.1109/EDCC.2014.15)

2013

Degasperi, A. and Calder, M. (2013) A process algebra framework for multi-scale modelling of biological systems. Theoretical Computer Science, 488, pp. 15-45. (doi: 10.1016/j.tcs.2013.03.018)

2012

Donaldson, R. and Calder, M. (2012) Modular modelling of signalling pathways and their crosstalk. Theoretical Computer Science, 456, pp. 30-50. (doi: 10.1016/j.tcs.2012.07.003)

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi: 10.1007/978-3-642-35524-0_1)

Calder, M. , Gray, P., Miller, A. and Unsworth, C. (2012) An Introduction to Pervasive Interface Automata. Lecture Notes in Computer Science, 6921, pp. 71-87. (doi: 10.1007/978-3-642-27269-1_5)

Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi: 10.1007/978-3-642-30729-4)

2011

Degasperi, A. and Calder, M. (2011) Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. In: 9th International Conference on Computational Methods in Systems Biology, Paris, France, 21-23 September 2011, p. 195. (doi: 10.1145/2037509.2037537)

2010

Donaldson, R., Tallcott, C., Knapp, M. and Calder, M. (2010) Understanding signalling networks as collections of signal transduction pathways. In: Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, Italy, 29 Sep - 1 Oct 2010, pp. 86-95. ISBN 9781450300681 (doi: 10.1145/1839764.1839775)

Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi: 10.1016/j.entcs.2010.12.002)

Calder, M. and Degasperi, A. (2010) Process Algebra with Hooks for Models of Pattern Formation. In: CS2Bio'10 1st International Workshop on Interactions between Computer Science and Biology, Amsterdam, Netherlands, 10 June 2010,

Calder, M. and Degasperi, A. (2010) Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electronic Notes in Theoretical Computer Science, 268, pp. 49-59. (doi: 10.1016/j.entcs.2010.12.005)

Donaldson, R. and Calder, M. (2010) Modelling and analysis of biochemical signalling pathway cross-talk. Electronic Proceedings in Theoretical Computer Science, 19, pp. 40-54. (doi: 10.4204/EPTCS.19.3)

Sturm, O. E., Orton, R. , Grindlay, J., Birtwistle, M., Vyshemirsky, V. , Gilbert, D., Calder, M. , Pitt, A.R., Kholodenko, B. and Kolch, W. (2010) The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier. Science Signaling, 3(153), ra90. (doi: 10.1126/scisignal.2001212)

2009

Ciochetta, F., Degasperi, A., Hillston, J. and Calder, M. (2009) Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA. Electronic Notes in Theoretical Computer Science, 229(1), pp. 145-163. (doi: 10.1016/j.entcs.2009.02.010)

Arapinis, M. et al. (2009) Towards the verification of pervasive systems. Electronic Communications of the EASST, 22,

Calder, M. , Gilmore, S., Hillston, J. and Vyshemirsky, V. (2009) Formal methods for biochemical signalling pathways. In: Boca, P., Bowen, J. P. and Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions. Springer, pp. 185-215. ISBN 9781848827356

Calder, M. , Gray, P.D. and Unsworth, C. (2009) Tightly coupled verification of pervasive systems. In: Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). European Association of Software Science and Technology (EASST).

Calder, M. and Hillston, J. (2009) Process algebra modelling styles for biomolecular processes. Lecture Notes in Computer Science, 5750, pp. 1-25. (doi: 10.1007/978-3-642-04186-0_1)

Graham, D., Calder, M. and Miller, A. (2009) An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Electronic Notes in Theoretical Computer Science, 250(1), pp. 87-103. (doi: 10.1016/j.entcs.2009.08.007)

Miller, A. and Calder, M. (2009) Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science, 250(2), pp. 1-2. (doi: 10.1016/j.entcs.2009.08.013)

2008

Calder, M. and Miller, A. (2008) An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, 404(3), pp. 235-255. (doi: 10.1016/j.tcs.2008.03.034)

2007

Miller, A., Calder, M. and Donaldson, A.F. (2007) A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks, 51(2), pp. 439-455. (doi: 10.1016/j.comnet.2006.08.009)

Calder, M. and Gilmore, S. (Eds.) (2007) Computational Methods in Systems Biology. Series: Lecture Notes in Bioinformatics. Springer. ISBN 978-3540751397

2006

Miller, A., Donaldson, A. and Calder, M. (2006) Symmetry in temporal logic model checking. ACM Computing Surveys, 38(3), (doi: 10.1145/1132960.1132962)

Calder, M. and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL properties—A case study. Formal Methods in System Design, 28(3), pp. 213-261. (doi: 10.1007/s10703-006-0002-5)

Calder, M. (2006) What do scaffold proteins really do? Proceedings of Pasta 2006 (fifth Workshop on Process Algebra and Stochastically Timed Activities),

Calder, M., Duguid, A., Gilmore, S. and Hillston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Lecture Notes in Computer Science, 3746, pp. 63-77. (doi: 10.1007/11885191_5)

Calder, M., Duguid, A., Gilmore, S. and Hilston, J. (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. Computational Methods for Systems Biology, 4210, pp. 63-77. (doi: 10.1007/11885191_5)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Lecture Notes in Computer Science, 4230, pp. 1-23. (doi: 10.1007/11905455_1)

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII, 4230, pp. 1-23. (doi: 10.1007/11905455_1)

Calder, M., Vyshemirsky, V., Gilbert, D. and Orton, R. (2006) Analysis of signalling pathways using continuous time Markov chains. Lecture Notes in Computer Science, 4220, pp. 44-67. (doi: 10.1007/11880646_3)

2005

Donaldson, A., Miller, A. and Calder, M. (2005) SPIN-to-GRAPE: a tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science, 139(1), pp. 3-23. (doi: 10.1016/j.entcs.2005.09.007)

Donaldson, A.F., Miller, A. and Calder, M. (2005) Finding symmetry in models of concurrent systems by static channel diagram analysis. Theoretical Computer Science, 128(6), pp. 161-177. (doi: 10.1016/j.entcs.2005.04.010)

Calder, M. , Vyshemirsky, V. , Gilbert, D. and Orton, R. (2005) Analysis of Signalling Pathways Using the PRISM Model Checker. In: Computational Methods in Systems Biology (CMSB'05), Edinburgh, United Kingdom, 03-05 Apr 2005, pp. 179-190.

Kolch, W., Calder, M. and Gilbert, D. (2005) When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Letters, 579(8), pp. 1891-1895. (doi: 10.1016/j.febslet.2005.02.002)

Miller, A. and Calder, M. (2005) A generic approach for the automatic verification of featured, parameterised systems. In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, 28-30 June 2005, pp. 217-235. ISBN 158603524X

Orton, R.J. , Sturm, O.E., Vyshemirsky, V., Calder, M., Gilbert, D.R. and Kolch, W. (2005) Computational modelling of the receptor-tyrosine-kinase-activated MAR pathway. Biochemical Journal, 392, pp. 249-261. (doi: 10.1042/BJ20050908)

2004

Calder, M. (2004) Abstraction for safety, induction for liveness. Algebraic Methodology and Software Technology, 3116, p. 20.

Calder, M. and Miller, A. (2004) An automatic abstraction technique for verifying featured, parameterised systems. In: ISOLA: International Symposium on Leveraging Applications of Formal Methods, Cyprus, Greece, 30 Oct - 2 Nov 2004, pp. 227-234.

Calder, M. and Miller, A. (2004) Detecting feature interactions: how many components do we need? Lecture Notes in Computer Science, 2975, pp. 45-66. (doi: 10.1007/b97772)

Donaldson, A., Miller, A. and Calder, M. (2004) Comparing the use of symmetry in constraint processing and model checking. In: 4th International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27 Sep 2004, pp. 18-25.

Saffrey, P. and Calder, M. (2004) Optimising Communication Structure for Model Checking. Lecture Notes in Computer Science, 2984, pp. 310-323. (doi: 10.1007/b95935)

2003

Calder, M. and Miller, A. (2003) Generalising feature interactions in email. In: International Workshop on Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Canada, 11-13 June 2003, pp. 187-205. ISBN 1586033484

Calder, M. and Miller, A. (2003) Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol. Formal Aspects of Computing, 14(3), pp. 247-266. (doi: 10.1007/s001650300004)

Calder, M., Kolberg, M., Magill, E.H. and Reiff-Marganiec, S. (2003) Feature interaction: a critical review and considered forecast. Computer Networks, 41(1), pp. 115-141. (doi: 10.1016/S1389-1286(02)00352-3)

Calder, M., Kolberg, M., Magill, E., Marples, D. and Reiff-Marganiec, S. (2003) Hybrid solutions to the feature interaction problem. In: Feature Interactions in Telecommunications and Software Systems VII, Ottawa, Ontario, 11-13 June, pp. 295-312. ISBN 1586033484

Miller, A. and Calder, M. (2003) An application of abstraction and induction techniques to degenerating systems of processes. In: International Workshop on Model-Checking for Dependable Software-Intensive Systems, San Francisco, CA, USA, 22-25 Jun 2003, W75-W79.

2002

Calder, M. , Maharaj, S. and Shankland, C. (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45, pp. 55-61.

Calder, M. and Miller, A. (2002) Automatic verification of any number of concurrent, communicating processes. In: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, 23-27 September, pp. 227-230. ISBN 0769517366 (doi: 10.1109/ASE.2002.1115017)

Calder, M. and Miller, A. (2002) Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In: Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 2002, pp. 29-42.

2001

Calder, M. and Miller, A. (2001) Using SPIN for feature interaction analysis - a case study. Lecture Notes in Computer Science, 2057, pp. 143-162.

Calder, M. and Shankland, C. (2001) Symbolic semantics and bisimulation for full LOTOS. In: 21st International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, 28-31 August 2001, pp. 185-200. ISBN 0792374703

Calder, M., Maharaj, S. and Shankland, C. (2001) An adequate logic for full LOTOS. Lecture Notes in Computer Science, 2021, pp. 384-395.

2000

Calder, M. and Reiff, S. (2000) Modelling legacy telecommunications switching systems for interaction analysis. In: Henderson, P. (ed.) Systems Engineering for Business Process Change. Springer, pp. 182-195. ISBN 1852332220

1998

Calder, M. (1998) What use are formal design and analysis methods to telecommunications services? In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Lund, Sweden, 29 September - 1 October 1998, pp. 10-31. ISBN 9051994311

Calder, M. and Miller, A. (1998) Analysing a basic call protocol using Promela/XSpin. In: 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker (SPIN '98), Paris, France, 2 Nov 1998, pp. 1-12.

This list was generated on Sat Apr 20 08:28:32 2024 BST.