Rijnard Van Tonder
Software Researcher - AI Formal Verification
Antigua and Barbuda
Summary
🤩
Rockstar🎓
Top SchoolRijnard Van Tonder is a software researcher and engineer with 14 years of experience building high-assurance systems at the intersection of AI, formal verification, and distributed systems. He holds a PhD from Carnegie Mellon and has shipped research-driven features at companies like Sourcegraph and Mysten Labs, and now works on agentic formal verification for smart contracts at Asymptotic.tech. His open-source contributions span performance and core-analysis improvements to widely used tools—most notably Pyre (Facebook's Python type checker), the Binary Analysis Platform (BAP), and the multi-language rewrite tool Comby—reflecting deep expertise in static analysis, disassembly, and code transformation. Rijnard combines rigorous theorem-backed approaches (Lean-focused verification) with pragmatic engineering for real-world scale, including securing high-value smart contract assets. Based in Antigua and Barbuda, he brings a rare blend of academic depth and production-grade systems experience to problems requiring provable correctness.
14 years of coding experience
10 years of employment as a software developer
Master of Engineering (M.Eng.), Computer Engineering, Master of Engineering (M.Eng.), Computer Engineering at Stellenbosch UniversityInternational Baccalaureate Diploma, International Baccalaureate Diploma at International BaccalaureatePhD, Computer Science, PhD, Computer Science at Carnegie Mellon University
English, Afrikaans, French, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (13)
type-checking10
static-analysis10
type-check10
text-parsing10
parsing10
python10
binarydiff10
disassembly10
ocaml10
testing9
reverse-engineering9
code-analysis8
program-analysis8
Programming languages (23)
Github contributions (5)
comby-tools/comby
Apr 2019 - Nov 2022
A code rewrite tool for structural search and replace that supports ~every language.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:58 releases, 6 reviews, 616 commits in 3 years 7 months
Contributions summary:Rijnard contributed to the codebase by implementing and testing functionalities related to code rewriting and rule evaluation. Their contributions included the implementation of a rule parser and the evaluation of rules with environments, demonstrating their focus on core logic and functionality of the code transformation tool. The commits show a deep engagement with the architecture, testing, and the internal representation of language rules. The code changes are associated with testing logic and internal aspects of the codebase.
pythonregexcodemodjavascriptlinting
facebook/pyre-check
May 2018 - Apr 2019
Performant type-checking for python.
Role in this project:Back-end Developer
Back-end DeveloperContributions:147 commits, 5 PRs, 8 comments in 11 months
Contributions summary:Rijnard contributed to the performance and functionality of the Pyre-check tool, focusing primarily on back-end development. Their commits addressed issues with module alias bypassing and implemented call graph construction, a key feature for type checking, recording call edges during type checking. The changes involved modifications to core analysis and command modules, indicating a focus on improving the tool's core logic and underlying functionality.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
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.