School of Informatics
Room 5.21, 10 Crichton Street
Edinburgh EH8 9AB
+44 131 650 5189
I am a Professor in the School of Informatics at The University of Edinburgh where I am the chair of Software Systems Modelling. I studied Computer Science at The Queen's University of Belfast, Northern Ireland. After completing my PhD there I moved to The University of Edinburgh to take up a lectureship position. I am a member of the Laboratory for Foundations of Computer Science. My principal area of research is centred on the application of stochastic process algebras. These are concise modelling languages for quantitative analysis of systems where concurrency plays an important role. Process algebras have a wide range of application and can be used to predict the performance of computer systems, assess their scalability under increasing load, and detect flaws and insecurities in implementations. I have an interest in software systems and quantitative modelling tools, primarily through tools and frameworks for supporting Performance Evaluation Process Algebra (PEPA). In addition, I direct the development of the Bio-PEPA modelling software.
My PhD students, past and present.
|Allan Clark (Completed 2008)|
|Jon Cook (Completed 2005)|
|Dilsun Kirli (Completed 2002)|
|Bruce McAdam (Completed 2002)|
|Dimitrios Milios (Completed 2014)|
|Chris Owens (Completed 1999)|
|Nick O'Shea (Completed 2010)|
|Donal Stewart (Completed 2017)|
|Mirco Tribastone (Completed 2010)|
|Chris Walton (Completed 2001)|
This year I am teaching the third-year undergraduate Computer Science Large Practical and the Software Engineering Large Practical and tutoring on two terrific courses Informatics 1: Functional Programming and Informatics 2A: Processing Formal and Natural Languages.
I am the School Curriculum Advisory Officer where my role is to help students by granting concessions to allow them to make adjustments to their course selection and/or degree programme. If you believe that you are in need of such a concession please speak to your personal tutor first and ask them to email me a concession request.
My most up-to-date list of my publications can be found in DBLP. Open-access final author's copy versions of recent papers can be found on my webpage at Edinburgh Research Explorer.
I have two daughters, Martha and Alice. (Martha and Alice, 2015). My late brother, Bob Gilmore, was a musicologist who wrote Harry Partch: A Biography and Claude Vivier: A Composer's Life. (More about Bob Gilmore. More about Harry Partch.) My nephew Benjamin Marquise Gilmore is a classical musician who performs with the Scottish Chamber Orchestra and the Chamber Orchestra of Europe.