Ramsay Taylor Email
Formal Methods Engineering Lead in IOE @ Input Output Group
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Ramsay Taylor Location
- Sheffield, GB
Ramsay Taylor Work
- Formal Methods Engineering Lead in IOE @ (July 2025 - Present)
- Formal Methods Engineer @ (September 2023 - July 2025)
- Senior University Teacher @ (December 2021 - September 2023)
- University Teacher @ (November 2015 - December 2021)
- Research Associate @ (January 2011 - November 2015)
- Owner @ ZombieTuesday Ltd (September 2009 - April 2011)
- Senior software engineer @ (March 2008 - September 2009)
- Platoon Commander, 146 Coy, 102 Bn REME @ (September 2006 - September 2009)
- Research Scientist @ (September 2003 - December 2005)
Ramsay Taylor Education
- The University of Sheffield
PhD (Computer science)
2007-2012 - University of Kent
BSc (Computer science)
2000-2003 - Wellingborough School 1992-2000
Ramsay Taylor Skills
- Elixir
- Erlang
- Embedded Systems
- Software Engineering
- Programming
- Linux
- Computer Science
- Java
- Software Development
- C++
- Research
- JavaScript
- C
- HTML
- MySQL
- PHP
- Teaching
- Web Development
- Subversion
- Python
- Algorithms
- Software Design
- Git
- LaTeX
- Machine Learning
- Distributed Systems
- Eclipse
- OOP
Ramsay Taylor Summary
- Ramsay Taylor, based in Sheffield, GB, is currently a Formal Methods Engineering Lead in IOE at Input Output (IOHK). Ramsay Taylor brings experience from previous roles at Input Output (IOHK), The University of Sheffield and University of Sheffield. Ramsay Taylor holds a 2007 - 2012 PhD in Computer science @ The University of Sheffield. With a robust skill set that includes Elixir, Erlang, Embedded Systems, Software Engineering, Programming and more. Ramsay Taylor has 2 emails on RocketReach.
Looking for a different Ramsay Taylor?
Find contact details for 700 million professionals.
Others Named Ramsay Taylor
Ramsay Taylor
Operations Manager
Louisville, KY, US
Tasheka Ramsay-Taylor
Assistant Controller
Waukegan, IL, US
Ramsay Taylor
Architectural Technician
Dundee, GB
Arianna Ramsay-Taylor
Patient Care Technician
Bloomfield, CT, US
Top Input Output Group Employees
Tamara Haasen
President
Canada
Lara Tanti
General Counsel (Europe)
London, GB
Siu Wong
VP of Finance
Warren, NJ, US
Adam Wasserman
VP of Investments
New York, NY, US
Ken Balich
Vice President Information Technology
Chicago, IL, US
Rosie Nugent
Head of People Engagement
London, England, GB
Ian Cross
Head of Product (Wallets)
Somerville, MA, US
Paul Kuveke
VP Product Operations
New York, NY, US
Sable Arrieta
Head of Legal Operations
Dallas, TX, US
Scott Kelly
VP Research Operations
Cambridge, GB
Christian Frenza
VP Business Operations
Versailles, FR
Carlos R Vargas-Montero
VP Data and AI
Alajuela, CR
Olivia Vazquez
Head of People Operations
Colorado Springs, CO, US
J.j. S.
Vice President of Commercial
Denver, CO, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co