Professor Stephen Gilmore

Professor Stephen Gilmore is the Chair of Software Systems Modelling in the School of Informatics at the University of Edinburgh and a member of the Laboratory for Foundations of Computer Science. He completed his PhD at the Queen’s University Belfast, in 1990. His PhD was in formal specification techniques and software engineering. More recently he has contributed to the development of stochastic
process algebras as practical modelling tools to assist in the construction of systems which will meet user expectations in non-functional properties such as performance and security. He has developed a range of software tools to analyse high-level models of stochastic systems, with particular emphasis on modelling with stochastic process algebras. He directs the development of the PEPA and Bio-PEPA modelling software. He participated in the EU DEGAS project and was the Edinburgh site leader for the SENSORIA project.