Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation
Biography: Jane Hillston was appointed Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh in 2006, having joined the University as a Lecturer in Computer Science in 1995. She is currently Head of the School of Informatics. She is a Fellow of the Royal Society of Edinburgh and Member of … Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation