Ruben Van De Kerkhof
Software Engineer Backend at Dawnguard
Utrecht, Utrecht, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolRuben Van De Kerkhof is a backend software engineer with six years of experience bridging data science and production engineering, currently focused on shift-left cybersecurity platforms. He holds a Master's in Data Science from Tilburg University and has applied NLP and supervised learning to social media tasks like sarcasm detection and author profiling using fastText, n-grams, POS tags and distant supervision. Ruben has shipped full-stack systems in Python/Django and React for ISPnext and contributed nontrivially to the Lean math libraries (porting mathlib to Lean 4 and proving advanced theorems in Lean 3), demonstrating both applied ML skills and formal-methods rigor. Comfortable moving between research-grade models and production services, he brings curiosity from a psychology background to product-focused ML solutions and security engineering.
6 years of coding experience
6 years of employment as a software developer
Bachelor Psychologie, Bachelor Psychologie at Utrecht UniversityMaster Data Science Business and Governance, Master Data Science Business and Governance at Tilburg UniversityEconomie en Maatschappij, Economie en Maatschappij at Cals College Nieuwegein
Github Skills (23)
structures10
struct10
algebra10
mathematics10
proofs10
proof10
math10
maths10
slim10
theorem-proving10
g10
t410
leanback10
cgroups10
formal-methods9
Programming languages (5)
Github contributions (5)
leanprover-community/mathlib4
Nov 2022 - Jan 2023
The math library of Lean 4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2003 reviews, 188 commits, 769 PRs in 2 months
Contributions summary:Ruben's commits primarily focus on porting mathematical structures and theorems from Lean 3's mathlib to Lean 4's mathlib4 repository, a math library for Lean 4. The contributions involve adapting code for group theory, algebraic structures, and order theory, ensuring the correct implementation of algebraic instances, and defining set-theoretic concepts. The user also made changes to adjust to the updated mathlib's internal architecture.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
leanprover-community/mathlib3
Jul 2020 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:Back-end Developer
Back-end DeveloperContributions:220 reviews, 321 commits, 165 PRs in 2 years 6 months
Contributions summary:Ruben contributed code related to mathematical components and libraries in Lean 3 within the `mathlib3` repository. They implemented and proved the complex Hahn-Banach theorem, generalizing related corollaries. The user also made changes to several core files for the project including those relating to theorems and general functions.
maththeorem-provingcomponents-librarymathematicsjavascript
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.