Phone: +44 (0)131 650 5189
I am a Professor in the School of Informatics at The University of Edinburgh where I am the chair of Software Systems Modelling.
I studied Computer Science at The Queen's University of Belfast, Northern Ireland. After completing my PhD there I moved to The University of Edinburgh to take up a lectureship position. I am a member of the Laboratory for Foundations of Computer Science.
My principal area of research is centred on the application of stochastic process algebras. These are concise modelling languages for quantitative analysis of systems where concurrency plays an important role. Process algebras have a wide range of application and can be used to predict the performance of computer systems, assess their scalability under increasing load, and detect flaws and insecurities in implementations.
I have an interest in software systems and quantitative modelling tools, primarily through tools and frameworks for supporting Performance Evaluation Process Algebra (PEPA). In addition, I direct the development of the Bio-PEPA modelling software.