Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

Profile photo

Willingness to take Ph.D. 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.

Qualifications

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

Biography

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 students

Current PhD Students
Alireza Pourranjbar
Cheng Feng
Anastasis Georgoulas

Previous PhD Students
Michael Smith 2010
Jie Ding 2010
Hao Wang 2010
Richard Paul 2007
Yussuf Abu-Shaaban 2005
Graham Clark 2001
Isabel Rojas 1997 

Research outputs

  1. Challenges for Quantitative Analysis of Collective Adaptive Systems

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  2. An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations

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

  3. Contextual Lumpability

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

View all (135) »

Research activities & awards

  1. Fellow of the Royal Society of Edinburgh

    Activity: Awards and AccoladesElection to learned society

  2. Roger Needham Award

    Activity: Awards and AccoladesPrize (including medals and awards)

View all (2) »

ID: 6430