School of Computing Science

Prof Muffy Calder

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 Dean for Research in the College of Science and Engineering at the University of Glasgow. She is currently a Royal Society Leverhulme Research Senior Fellow. 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 collaborations with many world-leading companies and in the distant past has been a research fellow at BT Laboratories and DEC in California.

Previously, she was Head of Department , chair of UKCRC (UK Computing Research Committee), member of EPSRC TOP (Technical Opportunities Panel) and the Scottish Science Advisory Committee, and Senate Assessor on Court. Currently, she is Chair of the BCS Academy of Computing Research Committee and 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 2010.

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.

Jump to: 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1998
Number of items: 46.

2012

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

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., 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)

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).

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, Muffy, and Miller, Alice (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, 4695 . 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.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: Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA '04), 30 October - 2nd November 2004, Paphos, Cyprus.

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.

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.

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.

This list was generated on Fri May 25 19:17:54 2012 BST.