I am Professor of Quantitative Modelling in the School of Informatics
within the College of
Science and Engineering at
the University of Edinburgh.
I am a Fellow of the Royal Society of Edinburgh.
I am the Director of the LFCS (Laboratory for Foundations of Computer Science) in the School of Informatics.
I am coordinator for the QUANTICOL project which is funded as part of the FET-Proactive FOCAS Programme
In 2004 I was the recipient of the first Roger Needham award.
In 2013 I taught a couple of courses for PhD students in Italy. The materials can be found on the links below.
Look here for information about applying to study for a PhD in Informatics at Edinburgh. We currently have fully-funded places in two EPSRC-funded CDTs in Pervasive Parallelism and Data Science, and some of my research topics coincide with these areas.
Jane Hillston (Jane.Hillston@ed.ac.uk)
School of Informatics,
10 Crichton Street,
University of Edinburgh,
Edinburgh EH8 9AB, UK.