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 (90)
tooling10
testing10
smart-contracts10
cpp10
solidity10
bytecode10
templating-engine10
template-engine10
virtual-machine10
ethereum10
blockchain10
javascript9
vagrant9
rust9
html9
Programming languages (17)
Github contributions (5)
runtimeverification/simbolik-examples
Apr 2024 - Dec 2025
Contributions:1 review, 5 PRs, 9 pushes in 1 year 8 months
runtimeverification/simbolik-vscode
May 2024 - Mar 2026
VSCode extension for debugging Solidity using Simbolik API server
Contributions:5 reviews, 51 PRs, 132 pushes in 1 year 10 months
debuggingsolidityvscode-extension
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.