Stephen Gilmore Interview

Interview with Stephen Gilmore from FET FoCAS on Vimeo.

Stephen is involved in the Quanticol Project.

He is professor at the University of Edinburgh, he is the Chair of Software Systems Modelling in the School of Informatics and a member of the Laboratory for Foundations of Computer Science.

His principal area of research is centred on the application of stochastic process algebras, as concise modelling languages for quantitative analysis of concurrent systems