Personal profile
Media
http://vimeo.com/45967160
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 and Dean of Research Culture in the College of Science and Engineering at the University of Edinburgh. Her research is concerned with formal approaches to modelling dynamic behaviour of discrete event systems. This includes everything from cloud computing, to biological processes, to transport systems in smart cities. Her research has been recognised by a number of awards including the RSE Lord Kelvin Medal, the BCS Lovelace Award and Fellowship of the Royal Society. She was Head of School in School of Informatics from 2018—2023 and Deputy Vice Principal Research 2020—2022. Professor Hillston was awarded an MBE in the Kings Birthday Honours List in 2023 in recognition of her contribution to computer science and women in science.
Education/Academic qualification
Computer Science, Doctor of Philosophy (PhD), A Compositional Approach to Performance Modelling, University of Edinburgh
31 Jul 1989 → 31 Dec 1994
Award Date: 1 Mar 2004
External positions
Member of EPSRC Council, EPSRC
30 Apr 2001 → …
Editor-in-Chief, Royal Society Proceedings A, Royal Society
31 Jan 2001 → …
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A personalised formal verification framework for monitoring activities of daily living of older adults living independently in their homes
Contreras, R., Smola, F., Farič, N., Zheng, J., Hillston, J. & Fleuriot, J. D., 27 Nov 2025, In: IEEE Sensors Journal. 26, 2, p. 2138-2147 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Best practices and lessons from academia-industry collaboration initiatives
Takaoka, A. J. W., Alboaie, L., Cutrupi, C. M., D'Angelo, A., Di Marco, A. & Hillston, J., 12 Aug 2025, Actions for Gender Balance in Informatics Across Europe. Penzenstadler, B., Boudaoud, K., Di Marco, A. & Caner-Yıldırım, S. (eds.). Cham, Switzerland: Springer, p. 271-297 27 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile -
Verifying properties of activities of daily living
Contreras, R., Smola, F., Zheng, J., Hillston, J. & Fleuriot, J. D., 19 Apr 2025, From Data to Models and Back: 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers. Czekster, R. M. & Milazzo, P. (eds.). Berlin, Germany: Springer, p. 52-69 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Process-aware Human Activity Recognition
Zheng, J., Papapanagiotou, P., Fleuriot, J. D. & Hillston, J., 13 Nov 2024, University of Edinburgh, p. 1-9, 9 p.Research output: Working paper › Preprint
-
Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware
Chen, X., Ma, T. & Hillston, J., 2024, In: IEEE Transactions on Dependable and Secure Computing. 21, 6, p. 5493-5508 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Prizes
-
-
-
Lovelace Medal for Research
Hillston, J. (Recipient), 10 Dec 2023
Prize: Prize (including medals and awards)
-
-
Member of Academia Europaea2018
Hillston, J. (Recipient), 1 Oct 2018
Prize: Election to learned society
-
Hostile or Collegial? Evaluating research culture for data scientists
Ponting, C. (Principal Investigator), Hillston, J. (Co-investigator), Khamseh, A. (Co-investigator) & Shinton, S. (Co-investigator)
4/11/24 → 3/11/26
Project: Research
-
Huawei Data Science Laboratory 2023
Hillston, J. (Principal Investigator)
1/01/23 → 31/12/28
Project: Research
-
Huawei Data Science Laboratory 2023
Hillston, J. (Principal Investigator) & Buneman, P. (Co-investigator)
1/01/23 → 31/12/28
Project: Research
-
Edinburgh Strategic Programme - Sponsorship Agreement
Hillston, J. (Principal Investigator)
Non-EU industry, commerce and public corporations
1/07/20 → 30/06/30
Project: Research
-
Edinburgh Strategic Programme - Sponsorship Agreement
Hillston, J. (Principal Investigator) & Goryanin, I. (Co-investigator)
1/07/20 → 30/06/30
Project: Research