Ramsay Taylor is a Formal Methods Engineer at Input Output (IOHK) since September 2023, bringing extensive experience in academia and engineering. Previously, Ramsay served as a Senior University Teacher and University Teacher at The University of Sheffield from January 2011 to September 2023, focusing on Multidisciplinary Engineering Education, while also contributing as a Research Associate on various projects. Prior experiences include owning ZombieTuesday Ltd, working as a Senior Software Engineer at Wonderboxes Limited, serving as a Platoon Commander in the Territorial Army, and functioning as a Research Scientist at Dstl in the Safety Critical Systems team. Ramsay holds a PhD in Computer Science from The University of Sheffield and a BSc in Computer Science from the University of Kent.
This person is not in any teams
This person is not in any offices