Arno Bastenhof
Design Engineer at ASML
North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolArno Bastenhof is a Design Engineer with a Ph.D. in Artificial Intelligence from Utrecht University and 11 years of hands-on experience building numerical and backend systems. He currently implements convex optimization algorithms at ASML using Java, Python, C, Matlab and Julia, blending research-grade rigor with production engineering. Earlier roles as a solution architect at Rabobank and as a backend engineer for digital pathology honed his skills in data pipelines, fraud detection, API platforms and microservices. His doctoral work on substructural logics and compiler-theory informed practical contributions such as redesigning a code-generator for SPADE, revealing a rare combination of formal-language theory and applied software engineering. Based in North Brabant, he brings both deep theoretical insight and pragmatic coding fluency to complex algorithmic and systems problems.
11 years of coding experience
5 years of employment as a software developer
Mandarin Chinese, Mandarin Chinese at Stichting Algemene Chinese School Utrecht (荷兰乌特勒支中文学校)Master of Arts (M.A., Research), Linguistics, Master of Arts (M.A., Research), Linguistics at Utrecht UniversityVWO (Preparatory scientific education), Natuur en Techniek (Nature and technology), VWO (Preparatory scientific education), Natuur en Techniek (Nature and technology) at Christelijk Lyceum Veenendaal (CLV)
Dutch, English, standard mandarin chinese
Github Skills (15)
mnist7
subset7
oberon7
structures7
abstract-machine6
raii6
reflection5
reference-implementation5
cpp4
c994
swig4
database4
machine-learning3
metaprogramming3
neural-network3
Programming languages (2)
Github contributions (5)
arnobastenhof/mnist
Apr 2017 - May 2019
C++ implementation of a feed-forward neural network for training on the MNIST database of handwritten digits. Intended as a private exercise based on Andrew Ng's Coursera course on Machine Learning.
Contributions:5 commits, 1 PR, 13 pushes in 2 years
cppdatabasemachine-learningmnistneural-network
arnobastenhof/prolog-jvm
Nov 2014 - Apr 2016
Contributions:70 commits, 21 pushes in 1 year 5 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.