Dr Ramsay Taylor

MEE, BSc (Hons), PhD

School of Computer Science

Visiting Academic

Ramsay Taylor profile photo
Profile picture of Ramsay Taylor profile photo
r.g.taylor@sheffield.ac.uk
+44 114 222 1843

Full contact details

Dr Ramsay Taylor
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

Dr Ramsay Taylor is a Visiting Academic working with both the School of 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 was then a University Teacher in the School of COmputer Science, teaching both software engineering and electronic engineering, as well as being involved in many 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.