Jane Hillston
Jane Hillston | |
---|---|
Born | 1963 (age 60–61) |
Alma mater | University of York (B.A. 1985) Lehigh University (M.Sc. 1987) University of Edinburgh (Ph.D. 1994) |
Known for | PEPA |
Awards | Roger Needham award (2004) |
Scientific career | |
Institutions | University of Edinburgh |
Thesis | A Compositional Approach to Performance Modelling (1994) |
Doctoral advisor | Robert J. Pooley Julian Bradfield[1] |
Doctoral students | Isabel Rojas Graham Clark Paolo Ballarini Jie Ding Michael Smith |
Jane Elizabeth Hillston (born 1963) is Professor of Quantitative Modelling and an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland.[2]
Hillston received a BA in Mathematics from the University of York in 1985, an MSc in Mathematics from Lehigh University in the United States in 1987 and a PhD in Computer Science from the University of Edinburgh in 1994, where she spent her subsequent academic career. Her thesis won one of the BCS/CPHC Distinguished Dissertation Awards for 1995 and has been published by Cambridge University Press. She has been an EPSRC Research Fellow (1994–1995), lecturer (1995–2001), reader (2001–2006) and now professor since 2006. She is a member of the Laboratory for Foundations of Computer Science at Edinburgh.[3]
Jane Hillston has worked on stochastic process algebras. In particular, she has developed the PEPA process algebra, and helped develop Bio-PEPA, which is based on the earlier PEPA algebra and is specifically aimed at analyzing biochemical networks.[4][5] There is now a club for people with PEPA research interests within the Laboratory for Foundations of Computer Science at Edinburgh.[6] In 2004, she received the first Roger Needham Award at the Royal Society in London.[7]The Roger Needham award is rewarded to a large contributor of computer research in the UK.[8] In March 2007 she was elected to be a Fellow of the Royal Society of Edinburgh.[9][10]
She led the University of Edinburgh School of Informatics in applying for an Athena SWAN Award,[11] which they subsequently achieved silver in.[12] The award shows that the department provides a "supportive environment" for female students.
References
- ^ Jane Hillston at the Mathematics Genealogy Project
- ^ "Women@CL" (PDF). Computer Laboratory, University of Cambridge. Retrieved 13 October 2015.
- ^ "Jane Hillston". The Royal Society. The Royal Society. Retrieved 13 October 2015.
- ^ Jane Hillston; Federica Ciocchetta (August 2009). Bio-PEPA: A framework for the modelling and analysis of biological systems.
- ^ "Bio-PEPA". School of Informatics, Edinburgh University. Retrieved 13 October 2015.
- ^ "About PEPA Club". PEPA Club.
- ^ Dr Jane Hillston : Past winners : Roger Needham Award : BCS, British Computer Society, 2004.
- ^ "Roger Needham Award and Lecture | Awards and competitions | Events | BCS - The Chartered Institute for IT". www.bcs.org. Retrieved 2016-10-27.
- ^ Professor Jane Hillston Elected Fellow of the Royal Society of Edinburgh, University of Edinburgh School of Informatics, 2007.
- ^ Fellows Elected March 2007 — Induction Images, The Royal Society of Edinburgh, 2007.
- ^ "Athena SWAN Charter". Equality Challenge Unit.
- ^ "Informatics gains Silver Athena Swan Award". University of Edinburgh.
External links
- Jane Hillston's home page
- Official web page
- LFCS web page
- Jane Hillston at DBLP Bibliography Server
- 1963 births
- Living people
- British computer scientists
- Formal methods people
- Alumni of the University of York
- Lehigh University alumni
- Alumni of the University of Edinburgh
- Academics of the University of Edinburgh
- Fellows of the Royal Society of Edinburgh
- Women computer scientists
- British computer specialist stubs
- British scientist stubs
- Computer scientist stubs