Ben Ruijl
Founder & Principal Researcher at Ruijl Research
Zug, Zug, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolBen Ruijl is a founder and principal researcher with 16 years of experience bridging theoretical physics and high-performance software engineering, now leading the development of Symbolica, a next-generation computer algebra system in Rust. A cum laude PhD in theoretical and mathematical physics and postdoctoral work at ETH Zurich underpin his track record of solving hard computational problems for quantum field theory and particle-physics predictions. He has contributed to the widely used FORM symbolic-manipulation project, improving core algorithms like modular arithmetic and GCD routines, and his research has been cited over 2,000 times. Known for turning advanced math into practical, blazing-fast libraries for Python and Rust, he combines deep algorithmic insight with hands-on systems design. Based in Zug, Switzerland, he brings a rare blend of academic rigor, AI-informed problem solving, and production-grade open-source craftsmanship.
16 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy - PhD, Theoretical and Mathematical Physics, Cum laude, Doctor of Philosophy - PhD, Theoretical and Mathematical Physics, Cum laude at Leiden UniversityMaster of Science, Physics, cum laude, Master of Science, Physics, cum laude at Radboud Universiteit Nijmegen
Dutch, English, German
Stackoverflow
5,083reputation
1.2mreached
55answers
31questions
recursion
top-5%
permutation
top-5%
opengl
top-5%
listview
top-5%
image
top-5%
Github Skills (20)
algorithm10
algorithms10
symbolic-computation10
c-language10
data-structure10
modular-arithmetic10
data-structures10
cprogramming-language10
image9
permutation9
opengl9
listview9
recursion9
glew6
mathematical-optimization6
Programming languages (12)
Github contributions (5)
vermaseren/form
Sep 2013 - Nov 2022
The FORM project for symbolic manipulation of very big expressions
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 96 commits, 3 PRs in 9 years 3 months
Contributions summary:Ben primarily contributed to bug fixes and improvements within the FORM project, a system for symbolic manipulation. Their commits demonstrate expertise in the codebase, addressing issues related to modular arithmetic, the normalization of expressions, and the GCD algorithm. They also made enhancements such as fixing string lengths and adding features like the "transform dedup" statement. The commits suggest a focus on improving the core functionalities of FORM.
manipulationsymbolic-computationtheorem-provingcomputer-algebra-systemsymbolic-manipulation
benruijl/cdt
Sep 2012 - Oct 2017
Contributions:151 commits, 2 pushes in 5 years 2 months
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.