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 (30)
solver10
verification10
sat-solver10
z310
sat10
smt10
satisfiability9
python9
tracks9
smt-lib8
partitioning8
horn7
abstraction7
checker6
toolchain6
Programming languages (12)
Github contributions (5)
usi-verification-and-security/opensmt
Feb 2021 - Oct 2022
The opensmt solver
Contributions:709 reviews, 160 commits, 268 PRs in 1 year 9 months
pythonsmtsatsolversat-solver
SMT-COMP/smt-comp.github.io
Nov 2018 - Jul 2021
Contributions:7 reviews, 111 commits, 21 PRs in 2 years 8 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.