Antti Kervinen is a Cloud Software Engineer with 15+ years bridging academic research and industrial engineering, holding a PhD in computer science focused on formal verification and model-based testing. He has led and architected test automation, debugging and startup-performance solutions at Nokia and Intel, founding and maintaining the fMBT open-source automatic test generator. A polyglot systems developer, he blends C/C++ for performance and Python for orchestration, pioneering practical hacks like inline C-in-Python, CI-integrated automatic debugging, and HTML-bound Python GUIs. Antti’s work spans Linux, Android, Windows, Tizen and embedded platforms, and he often presents his innovations at conferences and universities. Notably, his research-grade tools have been productionized into robust, multiplatform infrastructures that simplify remote device control and distributed debugging.
14 years of coding experience
9 years of employment as a software developer
PhD, Computer science, PhD, Computer science at Tampere University of Technology 1965-2018
Contributions:90 commits, 6 pushes, 8 branches in 5 years 3 months
model-basedpythonmodel-freemachine-learning
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.