Raoul S
Head Of Developer Tooling at Runtime Verification Inc
Cologne, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolRaoul S is a Head of Developer Tooling and formal verification engineer with 13 years of experience building secure, reliable software and tooling for blockchain and Web3 ecosystems. After progressing from software engineer to Formal Verification Engineer and now leading developer tooling at Runtime Verification, he focuses on lowering the barrier to formal methods and making security more approachable for developers and businesses. His background in smart contract auditing informs a practical, trust-first approach to tool design and research, and he regularly shares insights as a conference speaker. Based in Cologne and educated at RWTH Aachen, he combines academic rigor with hands-on implementation—often bridging compiler-level techniques with real-world developer workflows.
13 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at RWTH Aachen University
Stackoverflow
366reputation
48kreached
5answers
3questions
Github Skills (110)
tooling10
testing10
servant10
smart-contracts10
javascript10
solidity10
semantics10
templating-engine10
foundry10
tlaplus10
dataflow-programming10
verification10
html-template10
virtual-machine10
ethereum10
Programming languages (14)
Github contributions (5)
Teein/Html
Oct 2017 - May 2019
A Virtual DOM based templating-engine for PHP
Contributions:2 releases, 95 commits, 8 PRs in 1 year 7 months
template-enginedom-basedvirtual-domtemplatingphp
RaoulSchaffranek/MVar
Dec 2019 - Dec 2019
MVar data type for predictable low-level concurrency.
Contributions:66 commits, 18 PRs, 50 pushes in 9 days
control-flowpredictable
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.