Ramsay Taylor Email

Formal Methods Engineering Lead in IOE @ Input Output Group

5 free lookup(s).
No credit card required.

Ramsay Taylor Location

Sheffield, GB

Ramsay Taylor Work

2025 - now Formal Methods Engineering Lead in IOE @ Input Output Group
2023 - 2025 Formal Methods Engineer @ Input Output Group
View Department
2021 - 2023 Senior University Teacher @ The University of Sheffield

2015 - 2021 University Teacher @ The University of Sheffield
2011 - 2015 Research Associate @ The University of Sheffield
2009 - 2011 Owner @ ZombieTuesday Ltd
2008 - 2009 Senior software engineer @ Wonderboxes Limited
2006 - 2009 Platoon Commander, 146 Coy, 102 Bn REME @ Territorial Army
2003 - 2005 Research Scientist @ Dstl

see less

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++

see less

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) and The 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.

Ramsay Taylor Emails

Found 2 emails

5 free lookup(s).
No credit card required.

If you need more lookups, subscriptions start at $34 USD/month.

Redirecting you to the search page.

If you're not automatically redirected, please click here

Looking for a different Ramsay Taylor?

Find contact details for 700 million professionals.

Search

Others Named Ramsay Taylor

Ramsay Taylor

Supported Employment Manager at Durham County Council

York, GB
2
- durham.gov.uk
- hpe.com
Tasheka Ramsay-Taylor

Assistant Controller at Incredible Technologies

Waukegan, IL, US
4
- yahoo.com
- hotmail.com
- sbcglobal.net
- itsgames.com
5
- +1 847-482-XXXX
- +1 847-445-XXXX
- +1 224-425-XXXX
- +1 847-731-XXXX
- +1 847-623-XXXX
Soj Ramsay-Taylor

Managing Editor, Branded Editorial, Hive Labs, Zoomer Media Ltd. at blogTO

Toronto, ON, CA
1
- blogto.com
Arianna Ramsay-Taylor

Patient Care Technician at Hartford HealthCare

Bloomfield, CT, US
1
- +1 860-899-XXXX

View Similar Profiles

Top Input Output Group Employees

Glenda Shore

Chief People Officer at Input Output Group

Ireland
2
- gmail.com
- iog.io
2
- +1 310-234-XXXX
- +1 212-838-XXXX
Joel Telpner

Chief Legal Officer at Input Output Group

New York, NY, US
5+
- yahoo.com
- att.net
- gmail.com
- sandw.com
- iog.io
- icloud.com
5+
- +1 212-506-XXXX
- +1 212-801-XXXX
- +1 212-941-XXXX
- +1 216-586-XXXX
- +1 212-801-XXXX
- +1 212-755-XXXX
Chris Ghent

Chief Growth Officer at Input Output Group

New York, United States
3
- gmail.com
- sbcglobal.net
- iog.io
5
- +1 570-703-XXXX
- +1 301-431-XXXX
- +1 212-337-XXXX
- +1 240-393-XXXX
- +1 917-621-XXXX
Gerard Moroney

Chief Program Officer at Input Output Group

Cork, IE
5
- yahoo.ie
- yahoo.co.uk
- gmail.com
- intersectmbo.org
- iog.io
2
- +63 929 744 XXXX
- +353 632801XXXX
Lara Tanti

General Counsel (Europe) at Input Output Group

London, GB
3
- hotmail.com
- yahoo.com
- iog.io
2
- +44 7135 13XXXX
- +44 7733 31XXXX
Cynthia Yang

Deputy General Counsel, Head of Regulatory and Government Affairs at Input Output Group

New York, NY, US
1
- gmail.com
5+
- +1 951-837-XXXX
- +1 212-277-XXXX
- +1 212-692-XXXX
- +1 212-278-XXXX
- +1 212-202-XXXX
- +1 212-277-XXXX
Ron Gur-Lavi

Head of Solutions - Midnight at Input Output Group

New York, NY, US
3
- gmail.com
- bellsouth.net
- midnight.foundation
5+
- +1 201-290-XXXX
- +1 214-875-XXXX
- +1 201-566-XXXX
- +1 941-456-XXXX
- +1 770-491-XXXX
- +1 201-564-XXXX
Rosie Nugent

Head of People Engagement at Input Output Group

London, England, GB
1
- iog.io
Ian Cross

Head of Product (Wallets) at Input Output Group

Somerville, MA, US
3
- gmail.com
- hotmail.com
- iog.io
2
- +1 701-240-XXXX
- +1 617-402-XXXX
Roger Willis

Head of Product, Cardano at Input Output Group

None
1
- iog.io

View Similar Profiles

How It Works

Get a Free Account

Search the #1 Contact Database

Get contact details of over 700M profiles across 60M companies – all with industry-leading accuracy. Sales and Recruiter users, try out our Email Finder Extension.

Use our AI-Powered Email Finder

Find business and personal emails and mobile phone numbers with exclusive coverage across niche job titles, industries, and more for unparalleled targeting. Also available via our Contact Data API.