Edinburgh Research Explorer

Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

Profile photo

Willingness to take PhD students: Yes

Research Interests

My primary research interest is the Markovian process algebra PEPA, and its use for the performance modelling of computer and communication systems. Much of my work has focussed on the relationship between the compositional structures of the process algebra and structure in the underlying Markov process, especially in cases when this relationship can be exploited in order to ease the solution of the Markov process. More recently I have been considering new applications for stochastic process algebra, particularly those related to systems biology. This has lead to consideration of new analysis techniques, particularly those based on fluid approximation and to the development of some new languages in the PEPA family, particularly Bio-PEPA and HYPE.


BA in Mathematics, University of York 1985.
MSc in Mathematics, Lehigh University 1987.
PhD in Computer Science, University of Edinburgh 1994.


Jane Hillston is Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh and Director of the Laboratory for Foundations of Computer Science. Prof Hillston received the BA and MS degrees in Mathematics from the University of York (UK) and Lehigh University (USA), respectively. After a brief period working in industry, she received the PhD degree in computer science from the University of Edinburgh in 1994. Her thesis was given a BCS/CPHC Distinguished Dissertation Award in 1995. Her work on the stochastic process algebra PEPA was recognised by the British Computer Society in 2004 who awarded her the first Roger Needham Award. She was elected to fellowship of the Royal Society of Edinburgh in 2007.

Her principal research interests are in formal approaches to modelling the dynamic behaviour of systems, particularly performance modelling. She has held a number of research grants in this area including an EPSRC Advanced Research Fellowship (2005 - 2010). She is currently Coordinator of the QUANTICOL project funded by the EC under the FET-Proactive FoCAS initiative.

Research outputs

  1. A case study of policy synthesis for swarm robotics

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

  2. Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

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

  3. Fluid approximation of broadcasting systems

    Research output: Contribution to journalArticle

View all (203) »

ID: 6430