University of St Andrews

You are here: University Website » Administration A-Z » SALTIRE » Staff » Christie Marr

Dr Christie Marr - Coordinator of Mathematics Support Centre

Christie Marr (nee Bolton) established and coordinates the Mathematics Support Centre within SALTIRE.  Christie is on maternity leave for academic year 2008-09.

Background

Christie has a BA in Mathematics from Oxford University as well as a DPhil and an MSc both in Computation, also from Oxford University. She did a PGCE at King's College, London and then taught secondary school mathematics for a further five years, first in Southfields Community College in South-West London and then in Tiffin Girls School in Kingston, Surrey. Whilst doing her DPhil in Oxford and two post-docs, one in Oxford and one in Warwick, Christie tutored undergraduates and lectured various MSc and undergraduate courses.

Publications

1. Christie Marr (née Bolton). Adding further conflict and confusion to CSP. Submitted 2007.
2. Christie Bolton and Jim Davies. A singleton failures semantics for communicating sequential processes. In Formal Aspects of Computer Science (FACS), 18(2):181-210, 2006.
3. Christie Bolton and Gavin Lowe. A hierarchy of failures-based models: Theory and application. In Journal of Theoretical Computer Science (TCS), 330(3):407-483, 2005.
4. Christie Bolton. Adding conflict and confusion to CSP. In J Fitzgerald, A. Tarlecki and I Hayes, Proceedings of Formal Methods (FM 2005), Springer 2005.
5. Christie Bolton. Using the Alloy Analyzer to verify data refinement in Z. In J. Derrick and E. Boiten, editors, Proceedings of Refine 2005, Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2005.
6. Christie Bolton and Gavin Lowe. Analyses of the reverse path forwarding routing algorithm. In Proceedings of 2004 IEEE International Conference on Dependable Systems and Networks (DSN-2004), IEEE Computer Society, 2004.
7. Christie Bolton and Gavin Lowe. A hierarchy of failures-based models. In F. Corradini and U. Nestmann, editors, Proceedings of Express 2003, 10th International Workshop on Expressiveness in Concurrency. Elsevier Science Publishers, 2003.
8. Christie Bolton and Gavin Lowe. On the automatic verification of non-standard measures of consistency. In J. Morris, editor, Proceedings of 6th International Workshop in Formal Methods (IWFM) 2003. Electronic Workshops in Computing (BCS), 2003.
9. Christie Bolton and Jim Davies. A comparison of refinement orderings and their associated simulation rules. In J. Derrick, E. Boiten, J. Woodcock and J. von Wright, editors, Proceedings of Refine 2002, volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002.
10. Christie Bolton. On the refinement of state-based and event-based models. D.Phil. Thesis, University of Oxford, 2002.
11. Christie Bolton and Jim Davies. Refinement in Object-Z and CSP. In M. Butler, L. Petre and K. Sere, editors, Proceedings of Integrated Formal Methods (IFM) 2002. Springer 2003.
12. Christie Bolton and Jim Davies. Activity graphs and processes. In W. Grieskamp, T. Santen and W. Stoddart, editors, Proceedings of Integrated Formal Methods (IFM) 2000. Springer 2000.
13. Jim Woodcock, Jim Davies and Christie Bolton. Abstract data types and processes. In W. Roscoe, J. Woodcock and J. Davies, editors, Proceedings of Symposium in Honour of C.A.R. Hoare, September 1999. Palgrave 2000.
14. Christie Bolton and Jim Davies. On giving a behavioural semantics to activity graphs. In Gianna Reggio, Alexander Knapp, Bernhard Rumpe and Bran Selic, editors, Proceedings of Workshop on Dynamic behaviour in UML models: semantic questions, UML 2000. Tech report 0006, Institut für Informatik, Ludwig-Maximilians-Universität München, 2000.
15. Christie Bolton and Jim Davies. Using relational and behavioural semantics in the verification of object models. In C.Talcott and S. Smith, editors, Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS) 2000. Kluwer, 2000.
16. Christie Bolton, Jim Davies and Jim Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway and K. Taguchi, editors, Proceedings of Integrated Formal Methods (IFM) 1999. Springer, 1999.