Jeffrey Kam
Software Engineer at Xanadu
Canada
Summary
👤
Senior🎓
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
6 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 (65)
sublime-text10
bam9
download-file9
doc9
fasta9
computational-biology9
gedit9
textmate9
markdown8
highlighting8
pdf-generation8
syntax-highlighting8
pdf8
bandwidth8
bioinformatics8
Programming languages (6)
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.