Rod Chapman
Senior Principal Applied Scientist at Department of Computer Science, University of York
Bath, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRod Chapman is a Senior Principal Applied Scientist specializing in safety- and security-critical software, with a nine-year track record at the intersection of industry and academia. He helped design and develop the SPARK/Ada language and toolset, applying formal methods and static verification to real-world standards like DO-178 and CENELEC 50128. As an SEI-certified PSP instructor and long-time principal engineer, he brings deep process, training and audit experience for high-integrity systems, including cryptographic software verification. He balances research and practice as an Honorary Visiting Professor at the University of York while leading applied work in AWS’s Automated Reasoning Group. Based in Bath, UK, he combines compiler and language-design roots with pragmatic engineering to make formal techniques usable in production. An understated strength is his history of translating rigorous academic results into tooling and processes that satisfy certification regimes and industry constraints.
9 years of coding experience
35 years of employment as a software developer
MEng PhD, Computer Science and Software Engineering, MEng PhD, Computer Science and Software Engineering at University of York
Github Skills (170)
fhe10
c9910
tweetnacl10
voting-system10
encryption10
crypto10
modulo10
tlaplus10
verification10
checker10
protocols10
tla10
ssl10
post-quantum-cryptography10
cryptography10
Programming languages (16)
Github contributions (5)
rod-chapman/SPARKNaCl
Oct 2019 - Jan 2023
SPARK 2014 re-implementation of the TweetNaCl crypto library
Contributions:13 reviews, 457 commits, 24 PRs in 3 years 3 months
crypto-libraryre-implementationpythonsparkcrypto
rod-chapman/alire-index
Nov 2020 - Sep 2023
Community index for the Alire project
Contributions:8 PRs, 15 pushes, 11 branches in 2 years 9 months
databaseindex
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.