Tom Nikken
Software Developer at Topicus
Nijmegen, Gelderland, Netherlands
Summary
👤
Senior🎓
Top SchoolTom Nikken is a software developer based in Nijmegen with eight years of experience building reliable, maintainable systems at Topicus after completing a Master in Software Science at Radboud University. He combines deep academic training in model-based development, formal methods, SAT/SMT solving, compiler construction and functional programming with practical .NET and embedded software experience. At Topicus he progressed from trainee to developer, applying formal techniques to real-world finance and enterprise software challenges. He is drawn to the intersection of theory and practice, turning rigorous verification and model-based approaches into robust production code. Outside work he has applied his technical discipline in roles ranging from university teaching assistant to treasurer of a student alpine club, showing attention to detail and collaborative responsibility. Colleagues know him for thoughtful, correctness-first engineering that scales beyond tests into design.
8 years of coding experience
1 year of employment as a software developer
Master, Software Science, Master, Software Science at Radboud University
Dutch, English, French
Github Skills (10)
xml-validation9
xml7
samlify6
validation6
javascript5
ember-addon2
cart2
ember1
shopping-cart1
ecommerce1
Programming languages (2)
Github contributions (5)
topicusonderwijs/toegang.org.examples
Jun 2018 - Oct 2022
Toegang.org example repository
Contributions:6 PRs, 7 pushes, 7 branches in 4 years 4 months
takirchjunger/samlify-libxmljs
Jul 2019 - Jan 2023
Contributions:1 review, 54 commits, 42 PRs in 3 years 7 months
validationxmljavascriptsamlifyxml-validation
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.