Eben Rogers
Computer Scientist
Randstad, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolEben Rogers is a computer scientist and TU Delft BSc student in Computer Science and Engineering based in the Randstad with a decade-long engagement in tech. He combines academic rigor from Delft with practical, self-driven engineering experience accumulated since 2017. Although early in formal studies, Eben brings mature problem-solving skills and a sustained commitment to learning that suggest readiness for challenging internships or collaborative research projects. His profile hints at a broad interest in software development rather than a narrow specialty, implying adaptability across platforms and languages. Colleagues can expect a curious, steady contributor who balances theoretical grounding with hands-on implementation.
10 years of coding experience
Delft University of Technology
Github Skills (33)
coq8
graph-editor8
mathematics8
dataflow-programming8
combinatorics8
coq-library7
discrete-mathematics7
agda7
flow-based-programming7
mathematical7
number-theory7
theorem-proving7
visual-programming7
homotopy-type-theory7
nodejs6
Programming languages (4)
Github contributions (5)
fonsecaeli/Random-Forest-Classification
Jul 2016 - Oct 2016
Contributions:1 release, 21 PRs, 94 pushes in 2 months
Bigstep22/UniMath
Mar 2023 - May 2023
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Contributions:5 pushes, 1 branch in 1 month
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.