Personal tools
You are here: Home People Academics Stephen Gilmore

Stephen Gilmore

Position: Reader
Role: Member
E-mail: stg@inf (add .ed.ac.uk for real email)
Office(s): IF-3.47
Phone(s): (+44 131 6)505189
Research Interests: Formal methods of program development, formal specifications, software engineering, concurrent systems.
Homepage: http://www.dcs.ed.ac.uk/~stg/
Document Actions