Dr Ramsay Taylor
MEE, BSc (Hons), PhD
School of Computer Science
Visiting Academic
Examinations Officer
+44 114 222 1843
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
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 91Ö±²¥.
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.