Adrian Westerberg
Software Engineer at Scania Sverige
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolAdrian Westerberg is a software engineer based in Stockholm with nine years of hands-on experience and a strong academic foundation from KTH in computer engineering. He blends practical product work—currently building electric vehicle routing at Scania—with research-grade expertise in formal methods, having developed proof-producing binary analysis tooling and generalized semi‑Markov solvers. Comfortable moving between research and production, he focuses on programming languages, formal verification, and safety-critical analysis. Adrian’s background uniquely positions him to translate rigorous correctness guarantees into deployable systems for transportation and embedded domains.
9 years of coding experience
2 years of employment as a software developer
KTH Royal Institute of Technology
Swedish, English
Github Skills (20)
python8
armv88
linter8
hol7
verification7
proof7
risc-v7
arm6
smt6
functional-programming-language5
type-theory5
refinement-types5
lambda-calculus5
dependent-types4
functional-programming4
Programming languages (4)
Github contributions (5)
adrwes/GPU-boids
Feb 2018 - Mar 2018
Contributions:39 commits, 5 pushes in 22 days
adrwes/Unity-Cover-System
Apr 2017 - Jul 2017
Contributions:13 commits in 3 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.