Adrian Keet is a seasoned software engineer based in San Jose with 18 years of experience building robust systems at NVIDIA. He combines a strong mathematical foundation (MSc in Mathematics, dual BSc honours in Mathematics and Physics) with practical software craftsmanship, having implemented production tooling and integrations since early internships. Adrian contributes to functional-programming ecosystems—making documentation and correctness-focused code improvements to the widely used lens Haskell library—demonstrating attention to API clarity and type-soundness. His background includes research in quantum information and published work, reflecting an ability to bridge theoretical depth with applied engineering. Colleagues describe him as detail-oriented and inquisitive, often surfacing small but impactful fixes that improve long-term maintainability. He brings a steady, research-informed approach to complex backend problems in high-performance environments.
18 years of coding experience
1 year of employment as a software developer
Master of Science (M.Sc.), Mathematics, Master of Science (M.Sc.), Mathematics at The University of British Columbia
Bachelor of Science (B.Sc.) - Honours, Pure Mathematics, Bachelor of Science (B.Sc.) - Honours, Pure Mathematics at The University of Calgary
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Role in this project:
Back-end Developer
Contributions:16 commits, 4 pushes in 2 years 5 months
Contributions summary:Adrian primarily contributed to documentation fixes and minor code adjustments within the lens repository. These changes include replacing symbols in documentation, and fixing type-related issues, indicating a focus on code clarity and correctness. The user also added functionality to support more robust integration of data and provided instance additions. Their changes demonstrate a deep understanding of the codebase and the project's focus on functional programming and data manipulation.
Contributions:1 release, 5 commits, 1 push in 6 years 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.