Read the bio below and try to give details on jane hillston 's: - residence - doctoral students - prizes - thesis url - known for - thesis year - work institutions - birth date - thesis title - name - alma mater Bio: jane elizabeth hillston -lrb- born 1963 -rrb- is professor of quantitative modelling and an epsrc advanced research fellow in the school of informatics , university of edinburgh , scotland . hillston received a ba in mathematics from the university of york in 1985 , an msc in mathematics from lehigh university in the usa 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 -lrb- 1994 -- 1995 -rrb- , lecturer -lrb- 1995 -- 2001 -rrb- , reader -lrb- 2001 -- 2006 -rrb- and now professor since 2006 . she is a member of the laboratory for foundations of computer science at edinburgh . jane hillston has worked on stochastic process algebras . in particular , she has developed the pepa process algebra . in 2004 , she received the first roger needham award at the royal society in london . in march 2007 she was elected to be a fellow of the royal society of edinburgh .
A:
- residence is edinburgh , scotland- doctoral students is isabel smith rojas graham clark paolo ballarini jie ding michael- prizes is roger needham award -lrb- 2004 -rrb-- thesis url is http://www.dcs.ed.ac.uk/pepa/book.pdf- known for is pepa- thesis year is 1994- work institutions is university of edinburgh- birth date is 1963- thesis title is a compositional approach to performance modelling- name is jane hillston- alma mater is university of york -lrb- b.a. 1985 -rrb-