Joona Piirainen
Senior Software Engineer at Taito.ai
Helsinki, Finland
Summary
👤
Senior🎓
Top SchoolJoona Piirainen is a Senior Software Engineer based in Helsinki with about six years of hands-on experience building and maintaining business-critical software across consultancy and product environments. He has helped accelerate client teams’ delivery and ways of working at Reaktor and moved into senior engineering roles at Taito.ai, bringing practical expertise in delivering reliable systems. Joona is active on GitHub and enjoys exploring programming languages and mathematics, often applying those interests to improve code quality and architecture. Colleagues know him as a thoughtful technologist who balances pragmatic engineering with a curiosity for theory. Outside work he writes code for fun, reads research papers, and recharges with his corgi and partner—an indicator of his focus on sustainable work-life balance. He’s open to new connections and collaboration, reachable at joona.piirainen@gmail.com.
6 years of coding experience
5 years of employment as a software developer
Ylioppilastodistus, Ylioppilastodistus at Mäkelänrinteen lukio
Finnish, English
Github Skills (34)
agda9
type-theory9
ui-testing8
idris8
dependent-types8
proof-assistant8
lambda-calculus8
programming-language7
interpreter7
chrome7
proof7
theorem7
haskell7
theorem-proving7
homotopy-type-theory7
Programming languages (6)
Github contributions (5)
japiirainen/darwin
Jun 2023 - Mar 2025
Contributions:309 pushes, 1 branch in 1 year 9 months
japiirainen/fp
Oct 2022 - Feb 2023
A small, weird and unpractical programming language.
Contributions:1 release, 76 commits, 4 PRs in 3 months
compilerhaskellinterpreterprogramming-language
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.