Johan Granström is an innovator and seasoned software engineer with 13 years of industry experience, currently building formal verification products and consulting from Stockholm. He helped architect the Internet Computer at DFINITY and led teams across execution environment, governance, and financial integration, bringing rare expertise in large-scale distributed systems and blockchain. Previously he scaled YouTube Content ID infrastructure at Google, delivering systems-level solutions that enabled orders-of-magnitude improvements in matching and throughput. Johan combines deep theoretical training—a PhD in mathematical logic—with hands-on engineering across languages from Rust and C++ to front-end work (notably contributions to the popular countUp.js Angular integration). He thrives on solving problems others call impossible, moving seamlessly between research-grade formal methods and production-grade system design. Colleagues describe him as a pragmatic scientist who turns complex correctness requirements into auditable, scalable software.
13 years of coding experience
19 years of employment as a software developer
Bachelor of Science, Mathematics, Bachelor of Science, Mathematics at Stockholm University
Studentexamen, Matematik, Studentexamen, Matematik at Danderyds gymnasium
PhD, Mathematical Logic, PhD, Mathematical Logic at Uppsala University
Contributions:6 commits, 2 PRs, 1 comment in 1 month
Contributions summary:Johan primarily contributed to the front-end functionality of the `countup.js` library, specifically focused on integrating with Angular applications. They implemented a directive (`angular-countUp.js`) to enable animated number counting within Angular projects. This involved adding support for custom formatting using post-formatter functions and integrating Angular filters for value transformation. Additionally, the user made modifications to the core `countUp.js` file to support the post-formatter functionality.
Webpack loader for https://github.com/jgranstrom/sass-extract
Contributions:46 commits, 7 pushes, 1 branch in 10 months
sasswebpack-loaderscsssass-extract-loaderwebpack
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.