Stephen Gilmore is a Reader in the School of Informatics at The University of Edinburgh. He pursues research on the use of the PEPA stochastic process algebra, a high-level modelling language with applications in areas as diverse as performance evaluation of computer systems and cellular signalling pathway analysis in systems biology. 
He is currently working on six new projects and supervises a number of Ph.D. students.