Dr Ramsay Taylor

University Teacher
Outreach Officer, Headstart Coordinator.

Telephone: +44 (0) 114 222 1843
Emailr.g.taylor@sheffield.ac.uk

Member of the Verification research group
Personal website: staffwww.dcs.shef.ac.uk/people/R.Taylor/

All publications

Dr Ramsay Taylor

Profile

Biography

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

Research

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.