Jonathan Louie
Senior Software Developer II at Improving
Vancouver, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolJonathan Louie is a Senior Software Developer with 11 years of experience building backend systems and mobile apps across startups and established teams, currently driving engineering work at Improving after several years at Bit Quill Technologies. He brings practical expertise in Scala, Spark, Play, SQL and iOS development, and has a track record of implementing DSLs, versioning systems, and production engine code. An active member of the Vancouver tech scene, he runs the Vancouver Rust meetups and explores advanced type systems and experimental languages like Idris, reflecting a deep interest in language design and correctness. Jonathan combines hands-on implementation experience with a curiosity for new paradigms, making him equally comfortable shipping product features and prototyping language-driven solutions.
11 years of coding experience
6 years of employment as a software developer
Bachelor of Science (B.Sc.), Computer Science, Bachelor of Science (B.Sc.), Computer Science at The University of British Columbia
Github Skills (27)
lambda-calculus9
powerbi9
tiled9
rust8
data-connector8
type-theory8
powerquery8
newsletter8
formal-languages8
functional-programming8
dependent-types7
pelican7
haskell7
formal-verification6
proof-assistant6
Programming languages (7)
Github contributions (5)
vancouver-rs/talks
Nov 2019 - Jun 2022
Vancouver Rust Talks
Contributions:1 review, 10 commits, 12 PRs in 2 years 7 months
rust
jonathanrlouie/idris-maven-plugin
Apr 2022 - Jul 2022
A Maven plugin for Idris 2
Contributions:91 commits, 6 PRs, 74 pushes in 3 months
maven-plugin
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.