Jeffrey Kam
Software Engineer at Xanadu
Canada
Summary
🤩
Rockstar🎓
Top SchoolJeffrey Kam is a software engineer with 10 years' experience blending systems-level C++ work and Python research into practical tools for emerging domains like quantum compilation and security. He currently builds compiler passes and JAX-to-MLIR pipelines at Xanadu, translating research papers into production-ready compilation stages for quantum hardware. Previously he led security audits and developed novel analyzers at Quantstamp, including a Halo2 zero-knowledge circuit analyzer and static analysis tooling atop Foundry. His background includes performance compiler work at Google, infrastructure optimization for trading systems, and academic research in graph theory, computer algebra, and build-system analysis from Waterloo to Cambridge. Jeffrey combines deep theoretical grounding with hands-on implementation, often bridging JAX internals, MLIR, and low-level C++ to make cutting-edge research deployable. Based in Canada, he has a track record of turning hard research problems into auditable, production-grade engineering.
10 years of coding experience
4 years of employment as a software developer
Master of Philosophy - MPhil Computer Science, Master of Philosophy - MPhil Computer Science at University of CambridgeBachelor's degree Mathematics and Computer Science, Bachelor's degree Mathematics and Computer Science at University of Waterloo
Chinese, English, Chinese
Github Skills (78)
python10
qiskit10
optimization10
sublime-text10
download-file10
quantum-computing10
qml10
automatic-differentiation10
autodiff10
pytorch10
bam9
quantum-algorithms9
download-manager9
neural-network9
jax9
Programming languages (9)
Github contributions (5)
lazypanda10117/CICSA-Ranking-Platform
May 2018 - Apr 2020
Online Ranking Platform for Sailing Events for Canadian Intercollegiate Sailing Association (CICSA)
Contributions:7 releases, 643 commits, 229 PRs in 1 year 11 months
eventsassociationdjangorankingcanadian
lazypanda10117/Problem-Collection
Jun 2019 - Apr 2022
A collection of solution/analysis for technical problems (i.e. SPOJ, LeetCode)
Contributions:22 commits, 2 PRs, 17 pushes in 2 years 10 months
leetcodeproblemsleetcode-solutionsspojdata-structures
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.