Edinburgh Research Explorer

Prof Stephen Gilmore

Personal Chair in Software Systems Modelling

Research Interests

My principal area of research is centred on the application of stochastic process algebras.

Qualifications

BSc (Hons) in Computer Science, 1986, Queen’s University Belfast.
PhD in Computer Science, 1990, Queen’s University Belfast.

Biography

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.

Research outputs

  1. Data as processes: introducing measurement data into CARMA models

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Modelling movement for collective adaptive systems with CARMA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (144) »

ID: 19536