Robin Donaldson

School of Computing Science
University of Glasgow

 
 

I am currently a PhD student under the supervision of Prof. Muffy Calder in the School of Computing Science at the University of Glasgow.  My research is involved with modelling and analysing cross-talk in biochemical signalling pathways.  I am also a member of the Formal Analysis, Theory and Algorithms (FATA) research group.


I have completed my undergraduate in Software Engineering at the University of Glasgow and masters in Computational Biology at the University of Cambridge.  After the masters degree, I was a research associate at the University of Glasgow, investigating novel applications of model checking in systems biology and within the framework of Petri nets.  As part of my research I have developed the Monte Carlo Model Checker for PLTLc properties, MC2(PLTLc).

 

Contact:

Robin Donaldson

Room F111 Lilybank Gdns.

Sch. of Computing Science

University of Glasgow

G12 8QQ

Scotland


Qualifications:

  1. • Software Engineering BSc (First Class Honours)

  2. • Computational Biology MPhil


Research Interests:

  1. • Signalling Pathway Cross-talk

  2. • Model Checking

  3. • Process Algebra

  4. • Petri Nets

Currently

Publications

R. Donaldson, C. Talcott, M. Knapp and M. Calder (2010).  Understanding Signalling Networks as Collections of Signal Transduction Pathways.  ACM (Proc. of 8th International CMSB).  [Full Text].


R. Donaldson and M. Calder (2010).  Modelling and Analysis of Biochemical Signalling Pathway Cross-talk

EPTCS (Proc. of FBTC) 19, pp. 40-54.  [Full Text].


R. Breitling, R. Donaldson, D. Gilbert and M. Heiner (2010): Biomodel Engineering - From Structure to Behavior; (position paper) in C Priami et al. (eds.): Trans. on Computational Systems Biology XII, Springer LNBI 5945, pp. 1-12. [Full Text].


D. Gilbert, R. Breitling, M. Heiner and R. Donaldson (2009). An introduction to BioModel Engineering, illustrated for signal transduction pathways, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008.  LNCS 5391, pp13–28.  [Full Text].


R. Donaldson and D. Gilbert (2008). A Model Checking Approach to the Parameter Estimation of Biochemical Pathways In proceedings Computational Methods in Systems Biology.  LNCS 5307 pp. 269–287. [Full Text]


R. Donaldson and D. Gilbert (2008). A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints.  Technical Report TR-2008-282 at the Dept. of Computer Science at University of Glasgow.  [Full Text]


M. Heiner, R. Donaldson and D. Gilbert (2008). Petri Nets for Systems Biology in 'Symbolic Systems Biology: Theory and Methods', edited by Sriram Iyengar. Jones and Bartlett publishers.


M. Heiner, D. Gilbert, and R. Donaldson (2008), Petri Nets for Systems and Synthetic Biology. In Formal Methods for Computational Systems Biology.  LNCS 5016, pp. 215–264.  [Full Text]



Talks/posters

R. Donaldson and M. Calder.  Process algebraic modelling and analysis of signalling pathway crosstalk.

MOAN-CB: Modelling and Analysis of Cell Behaviour 2009 Warwick (UK).  Workshop.


D. Gilbert, X. Gu, M. Heiner, R. Breitling, M. Trybilo, R. Donaldson and R. Orton (2008). A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. The IET Conference on Synthetic Biology, Systems Biology and Bioinformatics (BioSysBio).  Tutorial.


D. Gilbert, M. Heiner, R. Breitling and R. Donaldson (2008).  A structured approach for the engineering of biochemical network models, illustrated for signalling pathways;  Sixteenth International Conference on Intelligent Systems for Molecular Biology (ISMB), Toronto, July 2008.  Tutorial.