Gert-jan Bottu
Tech Lead II at HubSpot
Mechelen, Antwerp, Belgium
Summary
👤
Senior🎓
Top SchoolGert-jan Bottu is a Tech Lead II at HubSpot with a decade of experience building reliable systems and leading the Data Sync Engine team. He combines production engineering with deep research roots—holding a PhD from KU Leuven and contributing technical writing to the prominent GHC proposals repository on quantified constraints. His interests lie at the intersection of programming languages, type systems, functional languages and smart contracts, informed by internships and research collaborations that influenced GHC and DAML tooling. A former co-founder and long-time contributor to language-design work, he brings both hands-on implementation experience and academic rigor to practical engineering problems.
10 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at KU LeuvenMaster's degree, Computer Science Engineer : Artificial Intelligence (Burg Ir), Summa cum Laude, Master's degree, Computer Science Engineer : Artificial Intelligence (Burg Ir), Summa cum Laude at University of Leuven
Dutch, English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
rs10
restructuredtext10
haskell10
documentation10
ghc9
compiler-design5
Programming languages (6)
Github contributions (5)
ghc-proposals/ghc-proposals
Feb 2018 - Feb 2018
Proposed compiler and language changes for GHC and GHC/Haskell
Role in this project:
Technical Writer
Technical WriterContributions:9 commits, 1 PR in 5 days
Contributions summary:Gert-jan's contributions primarily revolve around documenting and improving the "Quantified Constraints" proposal within the GHC proposals repository. They edited the existing documentation, correcting formatting issues, updating links, and clarifying explanations. The user also added sections regarding the overlap of quantified constraints, further detailing the implications of this feature. Their work focused on enhancing the clarity and completeness of the proposal documentation.
language-changesghchaskellcabalcompiler
Gertjan423/KHC
Jul 2018 - Feb 2021
KU Leuven Haskell Compiler
Contributions:8 reviews, 19 commits, 6 PRs in 2 years 7 months
compilerhackagehaskellservant
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.