Edinburgh Research Explorer

Prof Stephen Gilmore

Personal Chair in Software Systems Modelling

Phone: + 44 (0) 131 650 5189

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. 

Research outputs

  1. Spatio-temporal Model-checking of Vehicular Movement in Public Transport Systems

    Research output: Contribution to journal › Article

  2. Mesoscopic modelling of pedestrian movement using Carma and its tools

    Research output: Contribution to journal › Article

  3. Transient and Steady-State Statistical Analysis for Discrete Event Simulators

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (147) »

Research projects

  1. QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

    Project: Funded Project › Research

  2. Milner Symposium

    Project: Funded Project › Research

  3. RA1555 Systems Training in Maths, Informatics and Computational Biology (SySMIC)

    Project: Funded Project › Research

View all (11) »

Research press coverage

  1. Prof Stephen Gilmore's bus tracking app leads way for blind travellers

    Press / Media: Research

View all (1) »

ID: 19536