Jeremy Kun
Software Engineer at Google
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolJeremy Kun is a software engineer and mathematician with 12+ years of experience who blends rigorous theoretical insight with production-grade systems work, currently at Google in Portland. Trained in math (PhD-level research and teaching) and seasoned across industry roles from Bitcoin protocol engineering to compiler and ML projects, he focuses on problems where mathematics unlocks practical software—e.g., face recognition, market design, and homomorphic encryption. His open-source contributions include work on Google’s fully-homomorphic-encryption compiler and LLVM’s Polynomial dialect, reflecting deep backend, compiler, and algorithmic expertise. Equally comfortable writing code (C++, Python, Java, Haskell) and clear technical exposition (blogging and textbooks), he seeks roles that let him spend at least 20% of his time doing mathematics applied to real products.
12 years of coding experience
4 years of employment as a software developer
California Polytechnic State University, San Luis ObispoCampolindoPhD, Mathematics, PhD, Mathematics at University of Illinois at ChicagoMathematics, Mathematics at Budapest Semesters in Mathematics
English, German
Stackoverflow
2,985reputation
150kreached
21answers
37questions
machine-learning
top-5%
Github Skills (34)
algorithms10
c-language10
python10
polynomials10
llvm10
mathematics10
math10
mlr10
compiler-compiler10
cryptography10
compiler10
cprogramming-language10
testing9
data-structure9
algorithm9
Programming languages (33)
Github contributions (5)
pim-book/programmers-introduction-to-mathematics
Feb 2015 - Dec 2022
Code for A Programmer's Introduction to Mathematics
Role in this project:
Backend Developer
Backend DeveloperContributions:1 review, 167 commits, 50 PRs in 7 years 11 months
Contributions summary:Jeremy primarily contributed to the development of a mathematics library. Their work focused on implementing functionalities related to polynomials, including the addition, multiplication, and evaluation of polynomials. Further contributions involved implementing interpolation algorithms and tests for those functionalities to ensure correctness. They also added code related to the stable marriage problem, demonstrating a focus on algorithm implementation.
mathematicspython
google/fully-homomorphic-encryption
Sep 2022 - Jan 2023
Homomorphic Encryption demos
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 release, 34 commits, 3 PRs in 4 months
Contributions summary:Jeremy primarily focused on modifying and optimizing code related to the FHE compiler, specifically in the `transpiler` directory. Their contributions involved rolling back support for `XlsInt` due to upstream changes and improving error messages in the transpiler. They also refactored and modularized build files, creating new `.bzl` files for better organization and maintainability. These changes suggest a focus on improving the efficiency and usability of the transpilation process within the FHE compiler.
homomorphic-encryptionfully-homomorphic-encryptionprivacycryptographyfhe
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.