Stephen Gilmore
Personal Chair
Informatics
The University of Edinburgh
United Kingdom
Biography
Stephen Gilmore Position Personal Chair in Software Systems Modelling Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Formal methods of program development, formal specifications, software engineering, concurrent systems.
Publications
-
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
-
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
-
Data as processes: introducing measurement data into CARMA models
