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 (23)
programming-language10
blockchain10
smart-contracts10
plutus10
cardano9
code-coverage8
haskell7
package-repository6
wrangler6
scaling5
erlang5
dsl5
testing4
nix4
formal-methods4
Programming languages (10)
Github contributions (5)
ramsay-t/Smother
Jun 2013 - May 2014
Extended code coverage metrics for Erlang.
Contributions:8 commits, 19 pushes, 8 comments in 10 months
code-coverageerlang
ramsay-t/skel
Mar 2015 - May 2017
Contributions:28 pushes, 1 branch in 2 years 2 months
erlangstreamingskeleton
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.