Prof Muffy Calder
- Professor of Formal Methods (Computing Science)
telephone: 01413304969
email: Muffy.Calder@glasgow.ac.uk
Personal site: http://www.dcs.gla.ac.uk/~muffy
Biography:
Muffy Calder is Professor of Formal Methods in the School of Computing Science and on secondment to Scottish Government as Chief Scientific Adviser for Scotland (a 60% position). Her research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques, and she currently holds a Royal Society Wolfson Research merit award. In the distant past has been a research fellow at BT Laboratories and at DEC Research Labs in California, she is currently collaborating on research with NATS (air traffic services).
Previously, she was a Royal Society Leverhulme Research Senior Fellow and Dean for Research in the College of Science and Engineering. Before that she held various positions including Head of Department, chair of UKCRC (UK Computing Research Committee), chair of the BCS Academy of Computing Research Committee, Senate Assessor on Court, member of EPSRC TOP (Technical Opportunities Panel) and the Scottish Science Advisory Committee. Currently, she is MSc. external examiner at University of Manchester. She is a past external examiner for undergraduate degrees at the universities of Warwick, St. Andrews, Edinburgh, and NUI Cork. She has a PhD in Computational Science from the University of St. Andrews and a BSc in Computing Science from the University of Stirling. Over the years she has supervised 13 PhD students and 9 postdoctoral research assistants. She is a Fellow of the Royal Society of Edinburgh and was awarded the OBE in 2011.
Research Interests:
mathematical modelling and automated reasoning for concurrent, communicating systems:
- model-checking
- process algebras
- probabilistic systems
- protocols and telecommunications services
- biochemical networks and cell signalling
- sensor-driven systems
- safety-critical systems.
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. ISSN 0304-3975 (doi:10.1016/j.tcs.2013.03.018)
Calder, M., Gray, P., and Unsworth, C. (2013) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering . ISSN 1614-5046 (doi:10.1007/s11334-013-0203-1) (In Press)
Calder, M., Koliousis, A., Sevegnani, M., and Sventek, J. (2013) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming . ISSN 0167-6423 (doi:10.1016/j.scico.2013.08.004) (In Press)
Calder, M., and Sevegnani, M. (2013) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing . ISSN 0934-5043 (doi:10.1007/s00165-012-0270-3) (In Press)
Degasperi, A., and Calder, M. (2013) Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. Theoretical Computer Science . (In Press)
2012
Donaldson, R., and Calder, M. (2012) Modular modelling of signalling pathways and their crosstalk. Theoretical Computer Science, 456 . pp. 30-50. ISSN 0304-3975 (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. In: Priami, C., Petra, I. and de Vink, E. (eds.) Transactions on Computational Systems Biology XIV. Series: Lecture Notes in Computer Science (7625). Springer, Berlin, Germany, pp. 1-25. ISBN 9783642355233
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. ISSN 0302-9743 (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. ISSN 0302-9743 (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, 21-23 September 2011, Paris, France.
2010
Andrei, O, and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268 . pp. 3-15. ISSN 1571-0661 (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, 10 June 2010, Amsterdam, Netherlands.
Calder, M., and Degasperi, A. (2010) Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electronic Notes in Theoretical Computer Science, 268 . ISSN 1571-0661 (doi:10.1016/j.entcs.2010.12.005)
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), 29 Sep - 1 Oct 2010, Trento, Italy.
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. ISSN 2075-2180 (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. ISSN 1937-9145 (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. ISSN 1571-0661 (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 . ISSN 1863-2122
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. ISSN 0302-9743 (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. ISSN 1571-0661 (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. ISSN 1571-0661 (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. ISSN 0304-3975 (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. ISSN 1389-1286 (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). ISSN 0360-0300 (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. ISSN 0925-9856 (Paper), 1572-8102 (Online) (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. ISSN 0302-9743 (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. ISSN 1611-3349 (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. Transactions on Computational Systems Biology VII, 4230 . pp. 1-23. ISSN 1611-3349 (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. Lecture Notes in Computer Science, 4230 . pp. 1-23. ISSN 0302-9743 (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. ISSN 0302-9743 (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. ISSN 0304-3975 (doi:10.1016/j.entcs.2005.04.010)
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. ISSN 0014-5793 (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, 28-30 June 2005, Leicester, UK.
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. ISSN 0264-6021 (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) Detecting feature interactions: how many components do we need? Lecture Notes in Computer Science, 2975 . pp. 45-66. ISSN 0302-9743 (doi:10.1007/b97772)
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, 30 Oct - 2 Nov 2004, Cyprus, Greece.
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, 27 Sep 2004, Toronto, Ontario, Canada.
Saffrey, P., and Calder, M. (2004) Optimising Communication Structure for Model Checking. Lecture Notes in Computer Science, 2984 . pp. 310-323. ISSN 0302-9743 (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, 11-13 June 2003, Ottawa, Canada.
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. ISSN 1433-299X (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. ISSN 1389-1286 (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, 11-13 June, Ottawa, Ontario.
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, 22-25 Jun 2003, San Francisco, CA, USA.
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, 23-27 September, Edinburgh.
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.
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. ISSN 03029743
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, 28-31 August 2001, Cheju Island, Korea.
Calder, Muffy, Maharaj, S., and Shankland, C. (2001) An adequate logic for full LOTOS. Lecture Notes in Computer Science, 2021 . pp. 384-395. ISSN 0302-9743
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, 29 September - 1 October 1998, Lund, Sweden.
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), 2 Nov 1998, Paris, France.