Tom Nikken
Software Developer at Topicus
Nijmegen, Gelderland, Netherlands
Summary
👤
Senior🎓
Top SchoolTom Nikken is a Software Developer with eight years of experience, currently delivering reliable software at Topicus since 2021. He combines a strong academic foundation from a Master in Software Science with hands-on work across embedded software, .NET development, and finance-domain projects. His expertise spans Model Based Software Development, Model Based Testing, Model Checking, Formal Methods, SAT/SMT solving, Functional Programming and Compiler Construction, underscoring a commitment to correctness and robust architectures. Based in Nijmegen, Netherlands, he has demonstrated leadership and initiative, including roles as treasurer for NijSAC and a software engineer internship at Resnap. He thrives at the intersection of theory and practice, turning rigorous formal techniques into scalable software solutions.
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.