Antti Hyvärinen
Senior Engineer at MediaTek Inc.
Finland
Summary
👤
Senior🎓
Top SchoolAntti Hyvärinen is a Senior Engineer with 13 years in cellular End‑to‑End testing and over a decade focused on interoperability across 2G, 3G and LTE (FDD/TDD/CA) in both lab and commercial networks. He has deep hands‑on experience from protocol stacks to RF, including NSN eNodeB configuration, UE log analysis and network error reporting, and has led test environment automation and scripting for regression workflows. Antti’s career spans Nokia, Renesas, Broadcom and MediaTek, giving him broad vendor exposure and practical know‑how in IODT/IOT processes and field testing worldwide. Known for methodical error hunting and problem solving, he frequently turns complex field failures into reproducible lab cases. He combines research roots (M.Sc. Telecom, U. of Oulu) with pragmatic engineering, often owning both test infrastructure and customer demo coordination.
13 years of coding experience
12 years of employment as a software developer
M.Sc. (Tech), Telecommunications, M.Sc. (Tech), Telecommunications at University of Oulu
Github Skills (36)
solver10
verification10
sat-solver10
modulo10
sat10
smt10
satisfiability9
python9
theorem9
tracks9
smt-lib8
modular7
horn7
clang6
checker6
Programming languages (11)
Github contributions (5)
usi-verification-and-security/opensmt
Feb 2021 - Oct 2022
The opensmt solver
Contributions:708 reviews, 160 commits, 268 PRs in 1 year 9 months
pythonsmtsatsolversat-solver
usi-verification-and-security/opensmt-debugging
Sep 2020 - Oct 2022
Miscellaneous shared tools for debugging/profiling opensmt
Contributions:2 reviews, 8 PRs, 18 pushes in 2 years 1 month
profilingmiscellaneousloggingdebuggingdebug
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.