Professor Carron Shankland

Professor

Computing Science University of Stirling, Stirling, FK9 4LA

Professor Carron Shankland

Contact details

Share a link

http://www.stir.ac.uk/people/carronshankland

About me

About me

I am a professor in Computing Science engaged in research and teaching in computing. My research lies in the intersection of computer science, mathematics and biology: understanding the behaviour of biological systems through mathematical and computational models. Models (in process algebra) can describe systems at a high level of abstraction as networks of communicating individuals, scaling up to the emergent population dynamics. My group has worked across a range of biological systems (disease dynamics, immunological systems, collective dynamics of cells, cell signalling response to cancer therapies) as well as in computer networks and protocols. In addition, my group is developing an exciting technique combining genetic programming with modelling to produce models directly from experimental data.

I am committed to advancing the careers of women in academic and have a number of related roles. I chair the BCS Women in Computing Research group (BCS is the professional society for computing and IT). I lead the CygnetS network for those interested in gender diversity in computing and am expanding that to a network for diversity in ICT (DiVERct). I am a member of the Centre for Gender and Feminist Studies, and a ScienceGrrl. I led the University's Athena SWAN activities 2012-2016, chairing our self-assessment panel, resulting in a successful Bronze award in 2013. My work in this area has been recognised by a Suffrage Science award, and a Scottish Woman of the Year award. I am a member of the Biological Modelling group.

Award

Suffrage Science Award 2016

http://suffragescience.org/index.html
The Suffrage Science scheme celebrates women in science for their scientific achievement and for their ability to inspire others. 12 awards in Computing and Mathematics were made in 2016.

Scottish Woman of the Year 2017 (Services to Science and Technology)

Inaugural year for this award.

Education

PhD in Computing Science
University of Glasgow

Verification of LOTOS Specifications using Term Rewriting Techniques

BSc in Computing Science (Hons)
University of Glasgow

Research (5)

My interests centre around formal methods and their use in the description and analysis of computer and biological systems. My work can be grouped broadly as below. I am keen to hear from anyone with an interest in doing a research Masters or PhD in these broad areas. A pervading aspect of my work generally is to undertake larger, more realistic, case studies, in order to demonstrate the utility of various approaches to verification. I'm particularly interested in biological systems, especially in healthcare. If you've got any good problems then drop me a line!

  1. Process algebra and collective dynamics: I led a multi-disciplinary project funded by EPSRC Improving Patient Outcome by Integrating the Personal with the Generic. The project is about combining mathematical and computational models at multiples scales of different treatments for cancer (specifically glioma), all underpinned by biological experimentation. I am working with Prof Fred Currell (Maths and Physics, Belfast), Dr Jonathan Coulter (Pharmacy, Belfast), Dr Matthew Hubbard (Mathematics, Nottingham), Dr Ronald Lambert (was in Applied Microbiology, Cranfield) and Dr Karen Polizzi (Molecular Biosciences, Imperial).
  2. Process Algebra applied to epidemiology: Prof Rachel Norman (Maths, Stirling) and I worked together on an EPSRC funded project System Dynamics (2007-2010). Our theoretical work was underpinned by the biological expertise of our collaborator Prof Mike Begon (Biological Sciences, Liverpool). With an Algerian research visitor (Dalila Hamami) I am working on combining modelling with data mining to provide epidemiological models.
  3. Combining evolutionary computation techniques with process algebra modelling, with Dr David Cairns (CS, Stirling). The idea is to use high-power computing resources to relieve the modeller of some of the hard work of identifying the right model by automatically constructing the model for them to fit the given experimental data.
  4. Multi-scale modelling of complex systems, specifically in relation to modelling shellfish, their immunology, and ocean context. Although there is a strong biological application, the main focus of the work is improving the theoretical underpinnings of integrating models at different scales and we plan to use the approach for the cell models above.
  5. Process algebra applied to immunology: This work focuses on the behaviour of immune cells (specifically CD4+ cells) in the context of conflicting threats, and is in collaboration with Dr Andrea Graham (Ecology and Evolutionary Biology, Princeton).
  6. Modelling decision making using process algebra is another area of interest. I have done some preliminary work with a summer student (quorum sensing in Vibrio fischerii), but would like the chance to follow this up.Past interests:Development and promotion of a symbolic semantics for full LOTOS and associated reasoning tools. This was a long-term collaboration with Prof Muffy Calder (Glasgow) and Dr Savi Maharaj (CS, Stirling). The FireWire case study was a major strand in my work as the basis of several case studies using a variety of different formal approaches (probabilistic guarded command language, E-LOTOS, muCRL).

Projects

Gender Imbalance in Digital Technology
PI: Professor Carron Shankland
Funded by: Skills Development Scotland Co Ltd
–

Improving patient outcome by integrating the generic with the personal
PI: Professor Carron Shankland
Funded by: Engineering and Physical Sciences Research Council
–

Predictive Modelling for Healthcare Technologies through Maths
PI: Professor Carron Shankland
Funded by: Engineering and Physical Sciences Research Council
–

Immunological effects: modelling cytokine interaction in co-infection
PI: Professor Carron Shankland
Funded by: The Carnegie Trust
–

System Dynamics from Individual Interactions: A process algebra approach to epidemiology
PI: Professor Carron Shankland
Funded by: Engineering and Physical Sciences Research Council
–

Outputs (64)

Outputs

Conference Proceeding

Participant-centred planning Framework for effective gender balance activities in tech

Taylor-Smith E, Barnett C, Smith S, Barr M & Shankland C (2022) Participant-centred planning Framework for effective gender balance activities in tech. In: Quille K, Maguire J & Becker B (eds.) UKICER2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin Ireland, 01.09.2022-02.09.2022. New York: ACM, pp. 1-7. https://doi.org/10.1145/3555009.3555016

Conference Proceeding

Effective use of evolutionary computation to parameterise an epidemiological model

Mitchell R, Cairns D, Hamami D, Pollock K & Shankland C (2021) Effective use of evolutionary computation to parameterise an epidemiological model. In: Cazzaniga P, Besozzi D, Merelli I & Manzoni L (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics. Lecture Notes in Computer Science, 12313. CIBB 2019: 16th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Bergamo, Italy, 04.09.2019-06.09.2019. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-030-63061-4_3

Conference Proceeding

Process Algebra with Layers: Multi-scale Integration Modelling applied to Cancer Therapy

Scott E, Nicol J, Coulter J, Hoyle A & Shankland C (2017) Process Algebra with Layers: Multi-scale Integration Modelling applied to Cancer Therapy. In: Bracciali A, Caravagna G, Gilbert D & Tagliaferri R (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics. CIBB 2016. Lecture Notes in Computer Science, 10477. CIBB2016: 13th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Stirling, UK, 01.09.2016-03.09.2016. Cham, Switzerland: Springer, pp. 118-133. https://doi.org/10.1007/978-3-319-67834-4_10

Conference Proceeding

Process Algebra with Layers: A Language for Multi-scale Integration Modelling, Illustrated by a Cell Cycle and DNA Damage Case Study

Scott E, Hoyle A & Shankland C (2016) Process Algebra with Layers: A Language for Multi-scale Integration Modelling, Illustrated by a Cell Cycle and DNA Damage Case Study. In: Bracciali A & Caravagna G (eds.) Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics. 13th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Stirling, 01.09.2016-03.09.2016. Stirling: University of Stirling, pp. 240-246. http://www.cs.stir.ac.uk/events/cibb2016/index.html

Conference Proceeding

Using process algebra to model radiation induced bystander effects

Lintott R, McMahon S, Prise K, Addie-Lagorio C & Shankland C (2014) Using process algebra to model radiation induced bystander effects. In: Mendes P, Dada J & Smallbone K (eds.) Computational Methods in Systems Biology: 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Lecture Notes in Computer Science, 8859. Computational Methods in Systems Biology 2014, Manchester, UK, 17.11.2014-19.11.2014. Cham, Switzerland: Springer International Publishing, pp. 196-210. https://doi.org/10.1007/978-3-319-12982-2_14

Conference Paper

PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, illustrated by a Pacific oyster case study

Scott E, Hoyle A & Shankland C (2013) PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, illustrated by a Pacific oyster case study. Bradley J (Editor), Heljanko K (Editor), Knottenbelt W (Editor) & Thomas N (Editor) PASM'12: Sixth International Workshop on Practical Applications of Stochastic Modelling, Imperial College London, UK, 17.09.2012-17.09.2012. Electronic Notes in Theoretical Computer Science, 296, pp. 211-228. https://doi.org/10.1016/j.entcs.2013.07.014

Conference Proceeding

Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra

Benkirane S, Norman R, Scott E & Shankland C (2012) Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra. In: Giannakopoulou D & Mery D (eds.) FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science, 7436. FM 2012: Formal Methods 18th International Symposium, Paris, France, 27.08.2012-31.08.2012. Berlin Heidelberg: Springer-Verlag, pp. 101-115. http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_11; https://doi.org/10.1007/978-3-642-32759-9_11

Conference Proceeding

Evolving Bio-PEPA process algebra models using genetic programming

Marco D, Shankland C & Cairns D (2012) Evolving Bio-PEPA process algebra models using genetic programming. In: Proc. of the 14th International Conference on Genetic and Evolutionary Computation (GECCO). GECCO, 14. Fourteenth International Conference on Genetic and Evolutionary Computation conference (GECCO) 2012, Philadelphia, USA, 07.07.2012-11.07.2012. New York, NY, USA: ACM, pp. 177-184. http://doi.acm.org/10.1145/2330163.2330189; https://doi.org/10.1145/2330163.2330189

Conference Proceeding

Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach

Marco D, Scott E, Cairns D, Graham A, Allen JE, Mahajan SM & Shankland C (2012) Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach. In: Gilbert D & Heiner M (eds.) Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Lecture Notes in Computer Science, 7605. The 10th Conference on Computational Methods in Systems Biology, CMSB 2012, London, UK, 03.10.2012-05.10.2012. Berlin Heidelberg: Springer-Verlag, pp. 227-246. http://sites.brunel.ac.uk/cmsb2012; https://doi.org/10.1007/978-3-642-33636-2_14

Conference Proceeding

Optimisation of Process Algebra Models Using Evolutionary Computation

Marco D, Cairns D & Shankland C (2011) Optimisation of Process Algebra Models Using Evolutionary Computation. In: IEEE Congress on Evolutionary Computation (CEC), 2011. IEEE Congress on Evolutionary Computation (CEC) IEEE Congress on Evolutionary Computation, Singapore, 05.06.2011-08.06.2011. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1296-1301. https://doi.org/10.1109/CEC.2011.5949765

Article

A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology

McCaig C, Begon M, Norman R & Shankland C (2011) A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology. Theory in Biosciences, 130 (1), pp. 19-29. http://www.springerlink.com/content/1431-7613/; https://doi.org/10.1007/s12064-010-0106-8

Conference Paper (unpublished)

Modelling Immunological Systems using PEPA: a preliminary report

Scott E, Mahajan SM, Brand-Spencer T, Allen JE, Norman R, Graham AL & Shankland C (2010) Modelling Immunological Systems using PEPA: a preliminary report. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), London, UK, 06.09.2010-07.09.2010. http://aesop.doc.ic.ac.uk/conferences/pasta/2010

Conference Proceeding

Modelling the bubonic plague in a prairie dog burrow: a work in progress

Benkirane S, Shankland C, Norman R & McCaig C (2009) Modelling the bubonic plague in a prairie dog burrow: a work in progress. In: Clark A & Guerriero M (eds.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009. PASTA 2009 - 8th Workshop on Process Algebra and Stochastically Timed Activities, Edinburgh, UK, 26.08.2009-27.08.2009. Edinburgh, UK: University of Edinburgh, pp. 145-152. http://www.cs.stir.ac.uk/~sbk/PASTA2009.pdf

Conference Proceeding

Studying the effects of adding spatiality to a process algebra model

Maharaj S, McCaig C & Shankland C (2009) Studying the effects of adding spatiality to a process algebra model. In: Clark A & Guerriero M (eds.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, Edinburgh, 26.08.2009-26.08.2009. Edinburgh, UK: University of Edinburgh, pp. 153-158. http://www.dcs.ed.ac.uk/pepa/group/pastaworkshop/PASTA09/proceedings.pdf

Conference Proceeding

Process Algebra Models of Population Dynamics

McCaig C, Norman R & Shankland C (2008) Process Algebra Models of Population Dynamics. In: Horimoto K, Regensburger G, Rosenkranz M & Yoshida H (eds.) Algebraic Biology. Lecture Notes in Computer Science, 5147. Algebraic Biology 2008, Castle of Hagenberg, Austria, 31.07.2008-02.08.2008. Berlin Heidelberg: Springer, pp. 139-155. http://www.springerlink.com/content/y26143833jl82307/?MUD=MP; https://doi.org/10.1007/978-3-540-85101-1

Other

Theoretical Computer Science

Maharaj S (Editor), Shankland C (Editor) & Rattray C (Editor) (2006) Theoretical Computer Science. Theoretical Computer Science, 351 (2). http://www.sciencedirect.com/science/journal/03043975/351/2

Conference Proceeding

Reasoning about the ERK signal transduction pathway using BioSigNet-RR

Baral C, Kolch W, Shankland C & Tran N (2005) Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Computational Methods in Systems Biology, CMSB 2005. Lecture Notes in Computer Science. Computational Methods in Systems Biology International Conference CMSB 2005, Edinburgh, Scotland, 03.04.2005-05.04.2005. Berlin Heidelberg: Springer, pp. 79-90. http://aesop.doc.ic.ac.uk/conferences/cmsb/2005

Conference Proceeding

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Rattray C, Maharaj S & Shankland C (eds.) (2004) Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin Heidelberg: Springer.

Conference Proceeding

Expressing iterative properties logically in a symbolic setting

Shankland C, Bryans J & Morel L (2004) Expressing iterative properties logically in a symbolic setting. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology: Proceedings. Lecture Notes in Computer Science, 3116.
Stirling, Scotland, 12.07.2004-16.07.2004. Berlin Heidelberg: Springer, pp. 460-474. http://link.springer.com/chapter/10.1007%2F978-3-540-27815-3_35; https://doi.org/10.1007/978-3-540-27815-3_35

Book Chapter

Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease

Norman R & Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-Díaz R & Pichler F (eds.) Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers. Lecture Notes in Computer Science, 2809. Berlin and Heidelberg: Springer, pp. 404-414. http://www.springerlink.com/content/qe3bvr3gndrv4etd/; https://doi.org/10.1007/978-3-540-45210-2_37

Conference Proceeding

Combating infinite state using ergo

Robinson P & Shankland C (2003) Combating infinite state using ergo. In: Konig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2003. Lecture Notes in Computer Science, 2767.
Berlin, Germany, 29.09.2003-02.10.2003. Berlin Heidelberg: Springer, pp. 144-159. http://link.springer.com/chapter/10.1007/978-3-540-39979-7_10; https://doi.org/10.1007/978-3-540-39979-7_10

Conference Proceeding

A symbolic semantics and bisimulation for Full LOTOS

Calder M & Shankland C (2001) A symbolic semantics and bisimulation for Full LOTOS. In: Kim M, Chin B, Kang S & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, Vol. 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 185-200. http://link.springer.com/chapter/10.1007/0-306-47003-9_12

Conference Proceeding

An Adequate Logic for Full LOTOS

Calder M, Maharaj S & Shankland C (2001) An Adequate Logic for Full LOTOS. In: Oliveira J & Zave P (eds.) FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, 2021. International Symposium of Formal Methods Europe, Berlin, Germany, 12.03.2001-16.03.2001. Berlin Heidelberg: Springer, pp. 384-395. http://link.springer.com/chapter/10.1007/3-540-45251-6_21

Conference Proceeding

IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard

Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: University of Stirling,Dept of Computing Science & Maths.

Conference Proceeding

Implementing a modal logic over data and processes using XTL

Bryans J & Shankland C (2001) Implementing a modal logic over data and processes using XTL. In: Kim M, Chin B, Kang D & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 201-216. http://link.springer.com/chapter/10.1007/0-306-47003-9_13

Conference Proceeding

Using Rewriting Logic to implement the modal logic FULL

Bryans J, Verdejo A & Shankland C (2001) Using Rewriting Logic to implement the modal logic FULL. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University.

Conference Proceeding

Implementing the modal logic FULL using Ergo

Robinson P & Shankland C (2001) Implementing the modal logic FULL using Ergo. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University. http://www.cs.ox.ac.uk/techreports/oucl/rr-01-07.html

Conference Proceeding

But What if I Don't Want To Wait Forever?

Fidge C & Shankland C (2001) But What if I Don't Want To Wait Forever?. In: Maharaj S, Romijn J & Shankland C (eds.) IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard. International Workshop on Applications of Formal Methods to IEEE Standard 1394, Stirling, 13.03.2001-13.03.2001. Stirling: University of Stirling, pp. 15-18. http://www.cs.stir.ac.uk/firewire-workshop/prog.html

Technical Report

Symbolic Bisimulation for Full LOTOS

Calder M & Shankland C (2001) Symbolic Bisimulation for Full LOTOS. University of Glasgow Technical Report, TR-2001-77. University of Glasgow.

Conference Proceeding

A Survey of Formal Methods applied to IEEE 1394

Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.

Technical Report

Symbolic Bisimulation for Full LOTOS

Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. University of Stirling Technical Report, CSM 159. University of Stirling.

Conference Proceeding

Using E-LOTOS to pick a leader

Shankland C (1999) Using E-LOTOS to pick a leader. In: Proceedings of the Workshop on Formal Methods in Computation, Ullapool 1999. Workshop on Formal Methods in Computation, 1999, Ullapool, Scotland, 09.09.1999-11.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 143-162.

Conference Proceeding

Time, E-LOTOS, and the FireWire

Shankland C & Verdejo A (1999) Time, E-LOTOS, and the FireWire. In: Proceedings of the Workshop on Formal Methods and Telecommunications, Zaragoza 99. Workshop on Formal Methods and Telecommunications, Zaragoza, Spain, 07.09.1999-07.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 103-119.

Conference Proceeding

The Tree Identification Protocol of P1394

Shankland C (1998) The Tree Identification Protocol of P1394. In: Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 25.05.1998-26.05.1998. Amsterdam, The Netherlands: CWI, pp. 299-319.

Conference Proceeding

Symbolic Bisimulation for Full LOTOS

Shankland C & Thomas M (1997) Symbolic Bisimulation for Full LOTOS. In: Johnson M (ed.) Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings. Lecture Notes in Computer Science, 1349. 6th International Conference, AMAST'97, Sydney, Australia, 13.12.1997-17.12.1997. Berlin Heidelberg: Springer, pp. 479-493. http://link.springer.com/chapter/10.1007/BFb0000491#; https://doi.org/10.1007/BFb0000491

Conference Proceeding

Towards a Symbolic Temporal Logic for Full LOTOS

Shankland C & Thomas M (1997) Towards a Symbolic Temporal Logic for Full LOTOS. In: Duke DJ D & Evans A (eds.) 2nd BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing. 2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97, Ilkley, UK, 14.07.1997-15.07.1997. Berlin Heidelberg: Springer.

Conference Proceeding

Specifying Properties of Basic LOTOS Specifications Using Temporal Logic

Shankland C (1996) Specifying Properties of Basic LOTOS Specifications Using Temporal Logic. In: FORTE'95 (8th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols). FORTE'95 - 8th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols. Chapman and Hall.

Conference Proceeding

Experiences with specification and verification in LOTOS: a report on two case studies

Shankland C & Thomas M (1995) Experiences with specification and verification in LOTOS: a report on two case studies. In: Workshop on Industrial-Strength Formal Specification Techniques, 1995. Proceedings. Workshop on Industrial-Strength Formal Specification Techniques, 1995, Boca Raton, FL, USA, 05.04.1995-08.04.1995. Los Alamitos, CA, USA: IEEE Computer Society Press, pp. 159-171. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=515487&tag=1; https://doi.org/10.1109/WIFT.1995.515487

Conference Proceeding

Automating (Specification = Implementation) using Equational Reasoning and LOTOS

Shankland C (1993) Automating (Specification = Implementation) using Equational Reasoning and LOTOS. In: Gaudel M & Jouannaud J (eds.) TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings. Lecture Notes in Computer Science, 668. TAPSOFT'93: 4th International Joint Conference CAAP/FASE, Orsay, France, 13.04.1993-17.04.1993. Berlin Heidelberg: Springer, pp. 544-558. http://link.springer.com/chapter/10.1007/3-540-56610-4_88; https://doi.org/10.1007/3-540-56610-4_88

Technical Report

A Case Study for the ERIL Project

Shankland C (1992) A Case Study for the ERIL Project. University of Glasgow Technical Report, 1992/R4. University of Glasgow.

Conference Proceeding

An Experiment using Term Rewriting Techniques for Concurrency

Shankland C (1991) An Experiment using Term Rewriting Techniques for Concurrency. In: Peyton JS, Hutton G & Holst C (eds.) Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland. Workshops in Computing. 1990 Glasgow Workshop on Functional Programming, Ullapool, UK, 13.08.1990-15.08.1990. London: Springer, pp. 196-200. http://link.springer.com/chapter/10.1007/978-1-4471-3810-5_16#; https://doi.org/10.1007/978-1-4471-3810-5_16

Conference Proceeding

Some Experiments using Term Rewriting Techniques for Concurrency

Shankland C & Norrie K (1990) Some Experiments using Term Rewriting Techniques for Concurrency. In: Quemada J, Manas J & Vazquez E (eds.) Formal Description Techniques, III: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. IFIP Transactions: Communication Systems. IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 05.11.1990-08.11.1990. Amsterdam: North-Holland, pp. 527-530.

Teaching

Teaching

I am director of learning and teaching for Computing Science and Mathematics. I teach on undergraduate courses (Programming Language Paradigms, Database Principles and Applications, Multimedia and HCI, Modelling). I am a Senior Fellow of the HEA.

Research centres/groups