Build

2025– · Cofounder & CEO · San Francisco

Problem

Biology is still navigated too much by blind search: teams can map what exists, but still struggle to decide what biological change to pursue next.

Insight

A virtual cell should move biology from maps to models to design: make cellular behavior legible, compare interventions before expensive work begins, and stay grounded in experiment.

Artifact

Galen, the virtual-cell company: a computational layer for understanding and programming living systems.

Result

The public focus is helping biology teams frame, compare, and commit to the highest-value claims before moving them into the physical world.

2026 · Rust · reached the HN front page

Problem

Genomics pipelines often assume large machines, cloud workflows, and loose memory ceilings.

Insight

Memory can be treated as a contract instead of a hope: declare the budget, stream the work, and verify the receipt.

Artifact

A Rust genomics engine and verifier for whole-genome workloads on ordinary laptops.

Result

Someone else posted it to Hacker News, where it reached the front page at 185 points; the verifier, repo, and crate are public.

2026 · Python · Git for long stochastic runs

Problem

Long stochastic simulations are hard to inspect after the fact without saving the whole trace.

Insight

A run should be branchable and reproducible like a git history, even when the history is too large to keep.

Artifact

A Python engine for record, replay, and branching of seeded multi-million-step runs in O(√T) memory.

Result

The repo demonstrates bit-exact replay and traceback without materializing the full run.

2025 · Rust · sublinear-space ZK

Problem

Proof generation is usually memory hungry, which makes long proofs hard on fixed-memory hardware.

Insight

If the prover is structured as a streaming computation, commitments and openings can be assembled without holding whole polynomials.

Artifact

A Rust sublinear-space zero-knowledge prover with a public API surface and pricing page.

Result

The implementation pairs with a public paper and shows that production-style commitments and sublinear space can coexist.