Pontus Bostrom is Head of AI at Groke Technologies with a decade of experience translating research-grade verification and formal methods into production-ready machine learning solutions. His career bridges academia and industry—from postdoctoral work at ETH Zurich on program verification and progress properties to hands-on ML engineering and data science roles at Wapice and Groke. Pontus has steered AI strategy and delivery since 2022 while previously building ML systems and data pipelines, bringing a strong foundation in software engineering and formal reasoning to model reliability and robustness. Based in Turku, Finland, he combines deep theoretical expertise (PhD in Software Engineering) with practical product-focused leadership. Colleagues value his ability to spot subtle correctness and safety issues early in the ML lifecycle, an outlook shaped by years in program verification. He’s comfortable operating across research, engineering, and leadership boundaries to move complex AI projects from prototype to production.
10 years of coding experience
10 years of employment as a software developer
M. Sc, Computer science and technology, M. Sc, Computer science and technology at Åbo Akademi University
Vaadin extension that provides support for touch gestures via the Hammer.js library
Contributions:1 PR, 12 pushes, 2 branches in 2 years 3 months
hammerjs-libraryswipe-gesturestouchkaios
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.