Ramsay Taylor
Formal Methods Engineering Lead In IOE at Input Output (IOHK)
Sheffield, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolRamsay Taylor is a Formal Methods Engineering Lead with 13 years of experience combining academic rigor and industrial delivery across safety-critical and blockchain systems. Currently leading formal methods work at Input Output in Sheffield, he progressed from research and teaching roles at the University of Sheffield to hands-on engineering roles at IOHK, bringing deep expertise in formal verification, safety-critical systems, and engineering education. His background includes a PhD in Computer Science, time as a research scientist at Dstl working on safety-critical teams, and practical software leadership dating back to senior engineering and founder roles. Ramsay is comfortable translating formal proofs into production-ready tooling and processes—an uncommon blend that helps teams ship auditable, reliable systems in high-assurance domains.
13 years of coding experience
10 years of employment as a software developer
Wellingborough SchoolPhD, Computer science, PhD, Computer science at The University of SheffieldBSc, Computer science, BSc, Computer science at University of Kent
Github Skills (30)
programming-language10
blockchain10
smart-contracts10
plutus10
ada9
cardano9
cabal8
hackage8
servant8
metadata8
contract7
haskell7
skeleton6
coverage6
svn6
Programming languages (7)
Github contributions (5)
ramsay-t/skel
Mar 2015 - May 2017
Contributions:28 pushes, 1 branch in 2 years 2 months
erlangstreamingskeleton
ramsay-t/Smother
Jun 2013 - May 2014
Contributions:8 commits, 19 pushes, 8 comments in 10 months
erlangextendedelixircoveragemetrics
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.