Izaak Van Dongen
Software Engineer at Neat
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolIzaak Van Dongen is a software engineer based in Cambridge with nine years of experience combining rigorous computer science and mathematics to build correct, clean, and performant code across the stack. With a background in interactive theorem proving and algorithmic complexity, he brings a research mindset to practical engineering—evidenced by producing production-ready error-correcting DNA barcode systems at the Wellcome Sanger Institute. He has shipped web interfaces and backend solutions in both research and startup settings, most recently joining Neat after a hands-on role at Mambo.IO. Comfortable in multiple languages and tooling (and a LaTeX and Arch enthusiast), he prioritises provable correctness and maintainable design while enjoying abstract problem solving as much as optimization in deployed systems.
9 years of coding experience
2 years of employment as a software developer
Master of Mathematics (MMath) Mathematics, Master of Mathematics (MMath) Mathematics at University of Cambridge
English, Dutch
Stackoverflow
2,525reputation
510kreached
104answers
0questions
python
top-5%
Github Skills (20)
python9
syntax-highlighting7
highlighting7
sorting6
dictionary6
java6
algorithm6
zsh-syntax-highlighting5
shell5
anki5
bash4
zsh4
cryptography3
security3
javascript2
Programming languages (4)
Github contributions (5)
goedel-gang/bash-utils
May 2019 - Jul 2019
Contributions:147 pushes, 9 branches in 1 month
goedel-gang/github_index
Sep 2017 - Nov 2019
Contributions:98 pushes, 1 branch in 2 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.