Short CV/Education and training

Education:

  • 1982 – 1985
    Department of Mathematics, The University of York- BA Hons. First Class in Mathematics (1985)

  • 1985 – 1987
    Department of Mathematics, Lehigh University, Pennsylvania – MSc. in Mathematics (1987)

  • 1989 – 1993
    Department of Computer Science, The University of Edinburgh – PhD in Computer Science (1994)

Employment:

  • 1985 – 1986
    Teaching Assistant, Department of Mathematics, Lehigh University, USA

  • 1987 – 1988
    Consultant/Business Analyst, Logica Financial Systems Ltd., London

  • 1988 – 1989
    Research Officer in Information Systems, Kingston Business School, Kingston upon Thames

  • 1989 – 1991
    Research Associate, Department of Computer Science, University of Edinburgh

  • 1994 – 1994
    EPSRC Postdoctoral Research Fellow

  • 1995 – 2001
    Lecturer, School of Informatics, University of Edinburgh

  • 2001 – 2006
    Reader, School of Informatics, University of Edinburgh

  • Since 2006
    Chair of Quantitative Modelling, School of Informatics, University of Edinburgh

  • Since 2011
    Director of the Laboratory for Foundations of Computer Science

Selected publications

  • Book: A Compositional Approach to Performance Modelling, J. Hillston, Distinguished Dissertation Series, published by Cambridge University Press, June 1996.

  • Computer and Telecommunications Performance Engineering, Edinburgh 1991. J Hillston, P.J.B. King and R.J. Pooley (Eds) Workshops in Computing Series, Springer-Verlag 1992.

  • Allan Clark, Vashti Galpin, Stephen Gilmore, Maria-Luisa Guerriero and Jane Hillston. Formal Methods for Checking the Consistency of Biological Models. To appear in Proceedings of ICSB 2010: Advances in Systems Biology.

  • J. Hillston, M. Tribastone and S. Gilmore. Stochastic Process Algebras: From individuals to populations, To appear in The Computer Journal 2011.

  • Vashti Galpin, Jane Hillston and Luca Bortolussi. HYPE: Hybrid modelling by composition of flows. To appear in Formal Aspects of Computing 2011.

  • M. Massink, D. Latella, A. Bracciali and J. Hillston. Modelling Non-Linear Crowd Dynamics in Bio-PEPA, in proceedings of Fundamental Aspects of Software Engineering 2011, Springer-Verlag.



Complete list of publications

Selected projects

  • QUANTICOL – A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours an EU FET-IST FOCAS project. Five site European project for which I am Edinburgh site leader and coordinator

    1/04/13 – 31/03/17

  • Machine learning methods for formal dynamical systems: a systems biology case study, support for Anastasis Georgoulas

    1/10/12 – 30/09/15

Membership in scientific bodies/juries

  • Member of the EPSRC College of Peers and the Computer Science panel (PE6) for the Advanced Grants of the European Research Council, 2008 – 2012

  • Member of UK Computing Research Committee (UKCRC)

  • Member of the Dorothy Hodgkin Fellowship Committee of the Royal Society, 2014 – 2016

  • Member of the international steering committee of the Gallileo Gallilei Graduate School at the University OF Pisa

  • Member of the Learned Society Awards Committee of the BCS Computing Academy

  • Member of the Computer Science Panel for ERC Advanced Grants

  • Member of the Meetings and Events Committee of the Royal Society of Edinburgh

  • Member of the Editorial Board of Theoretical Computer Science D, and the Editorial Board of the Computer Journal

  • Steering Committee member for International Conference on the Quantitative Evaluation of Systems (QEST)

  • MLQA-ERCIM working group on Models and Logics for Quantitative Analysis elected Steering Committee member 2011 – 2013

Contact

You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here

Testimonials

  1. Read what our members say about AcademiaNet.

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Anna Beliakova

    Mathematics and statisticsTopology and Categorification

  2. Dr. Bahareh Afshari

    Information and Communication Technologies (ICTs), Mathematics and statisticsMathematical and Computational Logic

  3. Prof. Dr. Karin Baur

    Mathematics and statisticsAlgebra, Representation Theory

  4. Prof. Dr. Astrid Beckmann

    Mathematics and statistics, Physical sciencesMathematics education

 

News

  1. First Scottish AcademiaNet meeting brings together leading female scientists in Scotland

    AcademiaNet scientists were invited to attend the event at the Royal Society of Edinburgh to discuss gender balance in science as well as the impact of Brexit on British research.