Dr Ramsay Taylor

MEE, BSc (Hons), PhD

Department of Computer Science

University Teacher

Outreach Officer

Headstart Coordinator

Member of the Verification research group

r.g.taylor@sheffield.ac.uk
+44 114 222 1843

Full contact details

Dr Ramsay Taylor
Department of Computer Science
Regent Court
211 Portobello
Sheffield
S1 4DP
Profile

Dr Ramsay Taylor is a University Teacher working with both the Dept. Computer Science and Multidisciplinary Engineering Education (MEE). He obtained BSc (Hons) in Computer Science from the University of Kent at Canterbury, and a PhD in Computer Science from the University of Sheffield.

In between he worked for the Defence Science and Technology Laboratory (DSTL) in the Safety Critical Systems team, focussed mainly on military aircraft, but also on critical software in several other domains. He was a Research Associate in the Verification and Testing group before joining the MEE academic staff in the Diamond.

He now teaches both Software Engineering and Electronic Engineering, as well as taking any opportunity to be involved in as many as possible of the other Engineering disciplines.

Research interests

Dr Taylor’s interests include formal methods, distributed systems (particularly Erlang), and reverse engineering of system models. He is particularly interested in the design and verification of software that interacts with electronic or physical systems.

His involvement with the Diamond SMART building project is providing many opportunities to explore these themes in a new environment.