Regular biography
Jane Hillston holds the Personal Chair in Quantitative Modelling at The University of Edinburgh's Department of Computer Science. Her work focuses on the development and application of quantitative modelling techniques. She is affiliated with the university through her position and contributes to research in this area. Her contact details include an email address and a website for further information.
Scholar-generated biography
Jane Hillston is a Professor of Quantitative Modelling at the University of Edinburgh, specializing in Computer Science with a focus on Quantitative Verification, Performance Evaluation, and Formal Methods. Her research explores the application of process algebras for modeling and analyzing complex systems, particularly in biological and computational contexts. She has developed frameworks such as Bio-PEPA to model biochemical networks and has contributed to the advancement of performance evaluation techniques through compositional and stochastic modeling approaches. Her work emphasizes the integration of formal methods with performance analysis to support scalable and accurate system modeling.