Richard Ahlin
Backend Developer
Summary
🤩
RockstarRichard Ahlin is a backend developer with a decade of hands-on experience, currently building services at Volvo Group Connected Solutions in Sweden. He focuses on delivering reliable, production-grade backend systems for complex automotive and connected mobility environments. Known for pragmatic engineering, he balances scalable architecture with maintainable code and a strong appreciation for operational robustness. While his public GitHub footprint is minimal, his tenure at a major industrial tech group suggests deep domain knowledge in telematics and enterprise integration.
10 years of coding experience
Github Skills (13)
sml10
sat10
tlaplus9
verification9
formal-verification9
theorem-proving9
hol9
proof8
formal-semantics8
programming-language8
coq8
compiler7
machine-learning7
Programming languages (1)
Github contributions (5)
richardahlin/precisely-restful-code-test
Sep 2021 - Sep 2021
Contributions:5 pushes, 1 branch in 1 day
lucarl/rirc
May 2019 - May 2019
Contributions:7 pushes in 1 day
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.