Jona-

than

01

Software engineer & researcher

Building production-ready AI systems, from micro-VMs to support tooling at Starlink.

Jonathan Cui

San Diego, CA

02

Meet

Jonathan

Cui

About section

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).

A Curated Selection

of Personal

Projects

TasteMate preview

[ 01 ]

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

Proof Verifier preview

[ 02 ]

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

Starlink AI Tooling preview

[ 03 ]

Starlink AI Tooling

Summer 2025 software engineering intern on Starlink's support tooling team. Built AI features used daily by thousands of support agents.

Notes Section

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