Arnoud Van Der Giessen

BI Consultant at Riviq | Elke dag betere beslissingen

The Hague, South Holland, Netherlands
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Arnoud Van Der Giessen is a seasoned BI Consultant based in The Hague with over 11 years focused on business intelligence, data warehousing and data modeling, including ERD, star schemas and Data Vault. He has a strong track record delivering end-to-end BI solutions using PL/SQL, SSIS and Oracle Warehouse Builder while blending hands-on development with functional management and Agile team leadership. Arnoud has held senior and team lead roles across public and private sectors—from ministries and insurers to tech consultancies—and currently helps organizations turn data into better daily decisions at Riviq. Notably comfortable bridging technical design and stakeholder-facing functional governance, he brings practical experience in both web development and Scrum facilitation that keeps projects pragmatic and delivery-oriented.
code11 years of coding experience
job3 years of employment as a software developer
bookingenieur (ing), Informatica (Software engineering) / Hogere opleiding Software engineer, ingenieur (ing), Informatica (Software engineering) / Hogere opleiding Software engineer at De Haagse Hogeschool / The Hague University of Applied Sciences
languagesDutch, English, Italian
github-logo-circle

Github Skills (46)

coq-library10
mathematics10
coq10
math-library9
homotopy-type-theory8
vscodium8
logic8
mathematical8
visual-studio-code-extension7
agda7
vscode-extension7
wavelet7
vscode7
category-theory7
theorem-proving6

Programming languages (13)

C#JavaLeanCSSCoqTeXHTMLTypeScript

Github contributions (5)

github-logo-circle
Contributions:2 PRs, 48 pushes, 2 branches in 1 year 10 months
arnoudvanderleer/UniMath

Feb 2023 - Aug 2025

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Contributions:4 PRs, 620 pushes, 156 branches in 2 years 6 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.
Request Free Trial