
01
Software engineer & researcher
Building production-ready AI systems, from micro-VMs to support tooling at Starlink.

2025
Jonathan Cui
San Diego, CA

02
Meet
Jonathan
Cui

Internship
Shipping AI features in large monorepo at Starlink with 50K+ daily calls.
Career
Joining Anduril Industries in August 2026 as a Software Engineer in Costa Mesa, CA.
Research
4 papers, 400+ citations, ICLR 2021 Spotlight presenter.
Projects
Creator of TasteMate, an AI recipe app for medical diets, and a Rust-based Curry–Howard Proof Verifier.
Academics
Double major in CS & Math (3.97 GPA, UCSD).


[ 01 ]
TasteMate is an AI-powered recipe app for people with medical conditions and dietary restrictions.

[ 02 ]
A dependent-type proof verifier and toy language exploring Curry–Howard, written in Rust.

[ 03 ]
Summer 2025 software engineering intern on Starlink's support tooling team. Built AI features used daily by thousands of support agents.
A brief introduction to real analysis in one-variables, covering properties of real numbers, infinite series, uniform convergence, and power series.
Elementary topics in abstract linear algebra, including vector spaces and linear transformations, canonical forms of matrices, elementary divisors, invariant factors, and applications.
An introduction to the formal Theory of Computation, covering computability, complexity, the Church–Turing Thesis, undecidability, reducibility, completeness, and time/space complexity.
An introductory course to abstract algebra on the elementary theory of groups, rings, and fields. Content covers up to the construction of the algebraic closure.
A rigorous course based in Riemann integration on the convergence of Fourier series, Hilbert spaces, the Fourier transform on the real line, the inversion, Plancherel, and Poisson summation formula, and applications.
“Entitiesmustnotbemultipliedbeyondnecessity.”
— William of Ockham