Carst Tankink
Lead Engineer at bol
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolCarst Tankink is a Lead Engineer based in Eindhoven with 16 years of experience bridging research-grade formal methods and production software. He moved from academic work on proof assistant interaction and visualization tools into a long tenure at bol, progressing from software engineer to lead engineer and shipping scalable features in a fast-paced commerce environment. Comfortable picking up new technologies quickly, he excels at analyzing complex technical issues and translating formal research insights into pragmatic engineering solutions. His background includes connecting editors to theorem provers and redesigning OpenGL visualization tools, reflecting a rare mix of UI, protocol integration, and low-level graphics experience. Colleagues rely on him to untangle tricky integration problems and make systems both robust and usable. He holds a Master’s in Computer Science from Eindhoven University of Technology.
16 years of coding experience
17 years of employment as a software developer
Master's Degree Computer Science, Master's Degree Computer Science at Eindhoven University of Technology
English, Dutch, German, French
Github Skills (33)
testing9
cypress9
browser9
test-runner9
wait9
e2e9
component-testing9
react-testing-library9
testing-library9
test-suite9
svelte-testing-library8
test-automation8
vue-testing-library8
javascript8
e2e-testing8
Programming languages (2)
Github contributions (5)
coq-community/proviola
Jan 2010 - Aug 2013
Contributions:230 commits in 3 years 7 months
Carst-Tankink/advent-of-code-2017
Dec 2017 - Dec 2017
Contributions:45 pushes, 1 branch in 22 days
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.